Monoidal Categories Enriched in Braided Monoidal Categories

DOI10.1093/IMRN/RNX217zbMATH Open1430.18008arXiv1701.00567OpenAlexW2570286692MaRDI QIDQ5243276FDOQ5243276

Authors: Scott Morrison, David Penneys 

Publication date: 18 November 2019

Published in: IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Abstract: We introduce the notion of a monoidal category enriched in a braided monoidal category $mathcalV$. 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 $mathcalT$. Even the basic theory is interesting; it shares many characteristics with the theory of monoidal categories enriched in a symmetric monoidal category, but lacks some features. 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. Strikingly, our classification is slightly more general than what one might have anticipated in terms of strong monoidal functors $mathcalVoZ(mathcalT)$. We would like to understand this further; in a future paper we show that the functor is strong if and only if the enriched category is `complete' in a certain sense. Nevertheless it remains to understand what non-complete enriched categories may look like. One should think of our construction as a generalization of de-equivariantization, which takes a strong monoidal functor $mathsfRep(G)oZ(mathcalT)$ for some finite group $G$ and a monoidal category $mathcalT$, and produces a new monoidal category $mathcalT//G$. In our setting, given any braided oplax monoidal functor $mathcalVoZ(mathcalT)$, for any braided $mathcalV$, we produce $mathcalT//mathcalV$: this is not usually an `honest' monoidal category, but is instead $mathcalV$-enriched. If $mathcalV$ has a braided lax monoidal functor to $mathsfVec$, we can use this to reduce the enrichment to $mathsfVec$, and this recovers de-equivariantization as a special case.

Full work available at URL: https://arxiv.org/abs/1701.00567

Recommendations

• Drinfeld center of enriched monoidal categories
• Enrichment over iterated monoidal categories
• Classification of braids which give rise to interchange
• scientific article
• Enriched categories as a free cocompletion
• Categorified trace for module tensor categories over braided tensor categories
• Formal aspects of Gray's tensor products of 2-categories
• Functorial calculus in monoidal bicategories
• Comonadic base change for enriched categories
• Monoidal bicategories and Hopf algebroids

zbMATH Keywords

classificationmonoidal categoriesDrinfeld centerenriched categoriesbraided monoidal categories

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Monoidal categories, symmetric monoidal categories (18M05)

Cited In (26)

• Drinfeld centre-crossed braided categories
• A mathematical theory of gapless edges of 2d topological orders. II.
• On classification of super-modular categories of rank \(8\)
• The Berezinian in some monoidal categories
• The boundary phase transitions of the 2+1D \(\mathbb{Z}_N\) topological order via topological Wick rotation
• A mathematical theory of gapless edges of 2d topological orders. I
• Composing topological domain walls and anyon mobility
• Extension theory for braided-enriched fusion categories
• Title not available (Why is that?)
• Classification of braids which give rise to interchange
• The Braided Monoidal Structure on the Category of Comodules of Bimonads
• Quantum current and holographic categorical symmetry
• Duoidally enriched Freyd categories
• Operator algebras in rigid \(\mathrm{C}^\ast\)-tensor categories
• Monoidal bicategories and extensions of gr-categories
• Condensation inversion and Witt equivalence via generalised orbifolds
• Enrichment over iterated monoidal categories
• Categories of quantum liquids. I.
• Drinfeld center of enriched monoidal categories
• Gapless edges of 2d topological orders and enriched monoidal categories
• Unitary braided-enriched monoidal categories
• Landau-Ginzburg/conformal field theory correspondence for \(x^d\) and module tensor categories
• Fibonacci-type orbifold data in Ising modular categories
• Comonadic base change for enriched categories
• mathlib4 Module Mathlib/CategoryTheory/Enriched/Basic
• One dimensional gapped quantum phases and enriched fusion categories

This page was built for publication: Monoidal Categories Enriched in Braided Monoidal Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5243276)