Supplying bells and whistles in symmetric monoidal categories

Abstract

It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally and say that $\mathcal{C}$ supplies the algebraic structure. For example, the category $\mathsf{Rel}$ of relations between sets has monoidal structures given by both cartesian product and disjoint union, and with respect to either one it supplies comonoids. We prove several facts about the notion of supply, e.g. that the associators, unitors, and braiding of $\mathcal{C}$ are automatically homomorphisms for any supply, as are the coherence isomorphisms for any strong symmetric monoidal functor that preserve supplies. We also show that any supply of structure in a symmetric monoidal category can be extended to a supply of that structure on its strictification.

17 pages + 3 page appendix

References in corpus (1)

• Regular and relational categories: Revisiting 'Cartesian bicategories I'

Cited by in corpus (6)

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Operads for complex system design specification, analysis and synthesis
• Bayesian Updates Compose Optically
• Wiring diagrams as normal forms for computing in symmetric monoidal categories
• The algebra and machine representation of statistical models
• Cartesian double theories: A double-categorical framework for categorical doctrines