3 papers
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…
math.AT2025
Strictification of -Groupoids is Comonadic
Kimball Strong
We investigate the universal strictification adjunction from weak -groupoids (modeled as simplicial sets) to strict -groupoids (modeled as simplicial T-complexes).…