2024/04/09 by Xu, Hao
#16D10 #16D90 #18B10 #18M05 #18N10 #18N25 #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2404.06408
We establish a correspondence between modules and spans of algebras within a general monoidal 2-category \mathfrakC. Specifically, for an algebra A in \mathfrakC, we construct a normalized lax 3-functor from the 2-category of A-modules to the 3-category of 2-spans of algebras in \mathfrakC under A. This framework unifies and generalizes the realization of module functors and module natural transformations as spans of monoidal functors. We demonstrate the utility of this theory by recovering the realization of module objects in several familiar 2-categories and discuss its extension to the 2-categories MCat and BrCat. In these cases, module objects correspond to central module monoidal categories over a braided monoidal category and central braided monoidal categories over a symmetric monoidal category, respectively.