2013/12/30 by Hugo V. Bacard, Bacard, Hugo V.
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.1312.7833
openalex publication_date 2013/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper is part of a project that aims to give a homotopy cousin of Kelly's treatment of enriched category theory. After introducing unital co-Segal M-categories, we establish the unital version of a previous theorem that was proven for the nonunital ones; but this was done under strong hypothesis. We've removed here these assumptions and try to keep the hypothesis on M as minimal as possible. Our main result provides a sort of Bousfield localization of a model category that is not known to be left proper. In this model structure, every co-Segal M-category is `canonically' equivalent to a strict M-category with the same set of objects. We revisit some constructions of classical enriched category theory to set up the necessary material for our future applications.