Formal weakly enriched category theory
In the authors' words
A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category . We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as -categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the -cosmos of quasicategories, thereby extending the formal approach to -categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of -categories, leads to enriched versions of Quillen's Theorem A.
Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.