Showing math.CTShow all
2 papers · 1 filter
math.CT2026
An Enriched Approach to the Strictification of -Categories
Kimball Strong
We define a functor which takes in an -category and outputs an -category, the natural maximally "strict" version of an -category. We do this by mode…
math.CT2026
Change of Enrichment for Monoidal Model Categories
Kimball Strong
A classical theorem of category theory says that given an adjunction between monoidal categories with lax monoidal right adjoint, there is an induced adjunction between categories…