2d3747bbd4fd3a98.tex
1: \begin{abstract}
2: We introduce the notion of a monoidal category enriched in a braided monoidal category $\cV$. 
3: We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some monoidal category $\cT$.
4: 
5: Even the basic theory is interesting; it shares many characteristics with the
6: theory of monoidal categories enriched in a symmetric monoidal
7: category, but lacks some features. 
8: Of particular note, there is no cartesian product of braided-enriched categories, and the natural transformations do not form a 2-category, but rather satisfy a braided interchange relation.
9: 
10: Strikingly, our classification is slightly more general than what one might have anticipated in terms of strong monoidal functors $\cV\to Z(\cT)$. 
11: We would like to understand this further; in a future paper we show that the functor is strong
12: if and only if the enriched category is `complete' in a certain sense.
13: Nevertheless it remains to understand what non-complete enriched categories
14: may look like.
15: 
16: One should think of our construction as a generalization of de-equivariantization, which takes a strong monoidal functor $\Rep(G) \to Z(\cT)$ for some finite group $G$ and a monoidal category $\cT$, and produces a new monoidal category $\cT \dslash G$.
17: In our setting, given any braided oplax monoidal functor $\cV \to Z(\cT)$, for any braided $\cV$, we produce $\cT \dslash \cV$: this is not usually an `honest' monoidal category, but is instead $\cV$-enriched. 
18: If $\cV$ has a braided lax monoidal functor to $\Vec$, we can use this to reduce the enrichment to $\Vec$, and this recovers de-equivariantization as a special case.
19: 
20: %This is the submitted version of \arXiv{...}.
21: \end{abstract}