Quasi-unital -categories

DOI10.2140/AGT.2015.15.2303MaRDI QIDQ498739zbMATH OpenOpenAlexFDO

Authors Yonatan Harpaz

Publication date 29 September 2015

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

strictificationSegal spacesemisimplicial

Mathematics Subject Classification ID

Topological quantum field theories (aspects of differential topology) (57R56) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $infty$-categories. In particular, we show that the unital structure of an $infty$-category can be uniquely recovered from the underlying non-unital structure once suitable candidates for units have been identified. The main result of this paper can be used to produce a proof for the 1-dimensional cobordism hypothesis, as described in a forthcoming paper.

Recommendations

• scientific article; zbMATH DE number 5219541
• Functors (between \(\infty \)-categories) that aren't strictly unital
• A Survey of (∞, 1)-Categories
• Comparison of models for (∞,n)‐categories, II
• Segal spaces, spans, and semicategories

Cites work

• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• A remark on 'homotopy fibrations'
• Characteristic length in a linear acceleration
• Coherence for weak units
• Dwyer-Kan localization revisited
• Equivalences of monoidal model categories
• Function complexes in homotopical algebra
• Higher Topos Theory (AM-170)
• On the Classification of Topological Field Theories
• Simplicial localizations of categories
• Weak identity arrows in higher categories
• Weak units and homotopy 3-types
• Δ-SETS I: HOMOTOPY THEORY

Cited in

(10)

• A construction of quotient \(A_\infty\)-categories
• Complete Segal spaces arising from simplicial categories
• Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
• Semisimplicial spaces
• Unital ${A}_\infty$-categories
• Two-level type theory and applications
• Higher Structures in Homotopy Type Theory
• A type theory for strictly unital \(\infty \)-categories
• The limit in the category of \(Q\)-\(P\) quantale modules
• Segal spaces, spans, and semicategories

This page was built for publication: Quasi-unital \(\infty\)-categories

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