Enrichment as Categorical Delooping I: Enrichment Over Iterated Monoidal Categories
Stefan Forcey
备注：
52 pages; additional comments on braided V in section 3; updated references, citations, and typos; journal style and notation--note tensor^(1) replaces box^(2)
The 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception is the case in which V is symmetric, which leads to V-Cat being symmetric as well. This paper describes how these facts are related to a categorical analogue of topological delooping. It seems that the analogy of loop spaces is a good guide for how to define the concept of enrichment over various types of monoidal objects, including k-fold monoidal categories and their higher dimensional counterparts. The main result is that for V a k-fold monoidal category, V-Cat becomes a (k-1)-fold monoidal 2-category in a canonical way. I indicate how this process may be iterated by enriching over V-Cat, along the way defining the 3-category of categories enriched over V-Cat.
Joyal and Street note in their paper on braided monoidal categories [Braided tensor categories, Advances in Math. 102(1993) 20-78] that the 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception that they mention is the case in which V is symmetric, which leads to V-Cat being symmetric as well. The symmetry in V-Cat is based upon the symmetry of V. The motivation behind this paper is in part to describe how these facts relating V and V-Cat are in turn related to a categorical analogue of to…
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and free iterated monoidal categories give rise to finite simplicial operads of the same homotopy type as the classical little cubes operads used to parametrize the higher H-space structure of iterated loop spaces. Iterated monoidal categories encompass, as a special case, the notion of braided tensor categories, as used in the theory of quantum groups.
We show how to construct a Gamma-bicategory from a symmetric monoidal bicategory, and use that to show that the classifying space is an infinite loop space upon group completion. We also show a way to relate this construction to the classic Gamma-category construction for a bipermutative category. As an example, we use this machinery to construct a delooping of the K-theory of a bimonoidal category as defined by Baas-Dundas-Rognes.
We propose a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun in math.CT/0306086, and the initial sections duplicate the beginning of that paper.
Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the homotopy type of the diagram can be also represented by a genuine simplicial set nerve associated with it. This suggests the study of a homotopy colimit theorem, for diagrams $\b$ of braided monoidal categories, by means of a simplicial set {\em nerve of the diagram}. We prove that it is weak homotopy equivalent to the homotopy colimit of the diagram, of simplic…
We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is symmetric then this process can be iterated. We show that starting from the symmetric monoidal bicategory Cat and performing the construction twice yields a convenient symmetric monoidal bicategory of partially strict tricategories. We show that restricting to the doubly degenerate ones immediately gives the correct bicategory of "2-tuply monoidal categories" missing from our earlier studies of the Periodic Table. We p…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need to carefully examine the monoidal properties of the well-known (reduced) simplicial bar construction $B_\bullet(1,A,1)$. We define a geometric realization $|-|$ with respect to the image under $F$ of the canonical cosimplicial simplicial set. This guarantees good monoidal properties of $|-|$: it is monoidal, and given a left adjoint monoidal functor $G:\math…
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. After a review of the role of operads in loop space theory and higher categories we go over definitions of iterated monoidal categories and introduce a large family of simple examples. Then we generalize the definition of operad by defining n-fold operads and their algebras …
We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a monoidal $\infty$-category. By working with $\infty$-operads over $Δ^{n,\text{op}}$ we iterate these definitions and generalize our construction to get an $(\infty,n+1)$-category of $E_{n}$-algebras and iterated bimodules in an $E_{n}$-monoidal $\infty$-category. Moreover, we show that if $\mathcal{C}$ is an $E_{n+k}$-monoidal $\infty$-category then the $(\infty…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be though…
This paper is about a correspondence between monoidal structures in categories and $n$-fold loop spaces. We develop a new syntactical technique whose role is to substitute the coherence results, which were the main ingredients in the proofs that the Segal-Thomason bar construction provides an appropriate simplicial space. The results we present here enable more common categories to enter this delooping machine. For example, such is the category of finite sets with two monoidal structures brought by the disjoint union and Cartesian product.
The monoidal category of twisted modules of a Vertex Operator Algebra $V$ is defined and reduced to its 2-group of invertible objects $G_α$, which can be described by a 3-cocycle $α$ on its 0-truncation $G$ with values in the group of units $A$ of the field of definition of $V$ serving as its associator. This cocycle also presents the classifying morphism of an $\infty$-group extension of $G$ by the delooping $BA$. Motivated by this, it is proven that the $\infty$-group extension classified by a 3-cocycle $α$ is presented by the skeletal 2-group $G_α$ with associator $α$. The results are discu…
In this paper Hom-Lie algebras, Lie color algebras, Lie superalgebras and other type of generalized Lie algebras are recovered by means of an iterated construction, known as monadic decomposition of functors, which is based on Eilenberg-Moore categories. To this aim we introduce the notion of Milnor-Moore category as a monoidal category for which a Milnor-Moore type Theorem holds. We also show how to lift the property of being a Milnor-Moore category whenever a suitable monoidal functor is given and we apply this technique to provide examples.
We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable, and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterate…
$\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories are left $R$-module objects of $\mathcal{C}at^{\mathcal{V}}$ and $\mathcal{C}at^{\mathcal{V}}$-enriched $\infty$-functors
This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from $(A\wedge B)\vee(C\wedge D)$ to ${(A\vee C)\wedge(B\vee D)}$, for $\wedge$ and $\vee$ being two biendofunctors. Intermutation occurs in iterated, or $n$-fold, monoidal categories, which were introduced in connection with $n$-fold loop spaces, and for which a related, but different, coherence result was obtained previously by Balteanu, Fiedorowicz, Schw\" anzl and Vogt. The results of the present paper strengthen up to a point this previous result, and show that two-f…
