Homotopy Theories of (∞, ∞)-Categories as Universal Fixed Points With Respect to Weak Enrichment

DOI10.1093/IMRN/RNAD196arXiv2307.00442OpenAlexW4383173926MaRDI QIDQ6182644FDOQ6182644

Authors:

Publication date: 25 January 2024

Published in: IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Abstract: We show that both the $infty$-category of $(infty,infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner and Haugseng. In particular, we prove that $(infty,infty)$-categories with coinductive equivalences form a terminal object in the $infty$-category of fixed points for enrichment, and that $(infty,infty)$-categories with inductive equivalences form an initial object in the subcategory of locally presentable fixed points. To do so, we develop an analogue of Ad'amek's construction of free endofunctor algebras in the $infty$-categorical setting. We prove that $(infty,infty)$-categories with coinductive equivalences form a terminal coalgebra with respect to weak enrichment, and $(infty,infty)$-categories with inductive equivalences form an initial algebra with respect to weak enrichment.

Full work available at URL: https://arxiv.org/abs/2307.00442

Recommendations

• Rectification of enriched \(\infty\)-categories
• Weak \(\infty\)-categories via terminal coalgebras
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• Infinity category theory from scratch
• The operad that co-represents enrichment

Mathematics Subject Classification ID

Algebraic topology (55-XX) Category theory; homological algebra (18-XX)

This page was built for publication: Homotopy Theories of (∞, ∞)-Categories as Universal Fixed Points With Respect to Weak Enrichment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182644)