Completion for braided enriched monoidal categories

MaRDI QIDQ6307295zbMATH OpenFDO

Authors Scott Morrison, David Penneys, Julia Yael Plavnik

Publication date 25 September 2018

Abstract: Monoidal categories enriched in a braided monoidal category $mathcalV$ are classified by braided oplax monoidal functors from $mathcalV$ to the Drinfeld centers of ordinary monoidal categories. In this article, we prove that this classifying functor is strongly monoidal if and only if the original $mathcalV$-monoidal category is tensored over $mathcalV$. We then define a completion operation which produces a tensored $mathcalV$-monoidal category $overlinemathcalC$ from an arbitrary $mathcalV$-monoidal category $mathcalC$, and we determine many equivalent conditions which imply $mathcalC$ and $overlinemathcalC$ are $mathcalV$-monoidally equivalent. Since being tensored is a property of the underlying $mathcalV$-category of a $mathcalV$-monoidal category, we begin by studying the equivalence between (tensored) $mathcalV$-categories and oplax (strong) $mathcalV$-module categories respectively. We then define the completion operation for $mathcalV$-categories, and adapt these results to the $mathcalV$-monoidal setting.

This page was built for publication: Completion for braided enriched monoidal categories

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