Completion for braided enriched monoidal categories
Abstract
Monoidal categories enriched in a braided monoidal category are classified by braided oplax monoidal functors from 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 -monoidal category is tensored over . We then define a completion operation which produces a tensored -monoidal category from an arbitrary -monoidal category , and we determine many equivalent conditions which imply and are -monoidally equivalent. Since being tensored is a property of the underlying -category of a -monoidal category, we begin by studying the equivalence between (tensored) -categories and oplax (strong) -module categories respectively. We then define the completion operation for -categories, and adapt these results to the -monoidal setting.
Cite
@article{arxiv.1809.09782,
title = {Completion for braided enriched monoidal categories},
author = {Scott Morrison and David Penneys and Julia Plavnik},
journal= {arXiv preprint arXiv:1809.09782},
year = {2018}
}