2023/03/29 by Jorge Becerra, Becerra, Jorge · 2 citations
Computer Science · Mathematics · #18M05 #18N10 #18N15 #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Geometric Topology (math.GT) #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2303.16740
openalex publication_date 2023/03/29 · openalex created_date 2023/04/05 · openalex updated_date 2026/07/28
In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the original category, and how they are related to analogous notions in higher categorical structures. We first provide explicit, elementary models for the (non-)strictification and show that these two constructions give the free (non-)strict monoidal category generated by a monoidal category. Moreover, we prove in detail that these two constructions are part of a pair of free-forgetful 2-adjunctions. We later show that these constructions can be recovered from Power's general coherence theorem for 2-monads. Lastly we describe another model for the strictification based on right-module endofunctors and provide a detailed, self-contained proof that this is a particular instance of strictification of bicategories via the bicategorical analogue of the Yoneda embedding.