3 papers
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.CT2025
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 model…
math.AT2024
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).…