{"id":"arxiv/2609.28435","url":"https://arxiv.org/abs/2609.28435","tags":["math.CT","math.AT"],"score":0,"title":"Formal weakly enriched category theory","domain":"math.CT","source":"arxiv","authors":["Giuseppe Leoncini"],"reviews":0,"subject":"math.CT","summary":"A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}