Quasi-unital -categories

DOI10.2140/AGT.2015.15.2303zbMATH Open1326.55020arXiv1210.0212OpenAlexW3103104364MaRDI QIDQ498739FDOQ498739

Authors: Yonatan Harpaz 

Publication date: 29 September 2015

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

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.

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

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

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)

Cites Work

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

Cited In (10)

• A construction of quotient \(A_\infty\)-categories
• Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
• Complete Segal spaces arising from simplicial categories
• 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)