Segal spaces, spans, and semicategories

DOI10.1090/PROC/15197zbMATH Open1457.18024OpenAlexW3033257126MaRDI QIDQ5150171FDOQ5150171

Authors Rune Haugseng

Publication date 10 February 2021

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

((infty, n))-categories and ((infty,infty))-categories (18N65) (infty)-operads and higher algebra (18N70)

Abstract: We show that Segal spaces, and more generally category objects in an $infty$-category $mathcalC$, can be identified with associative algebras in the double $infty$-category of spans in $mathcalC$. We use this observation to prove that "having identities" is a property of a non-unital $(infty,n)$-category.

Recommendations

• Higher Segal spaces
• 2-Segal objects and algebras in spans
• Quasi-unital \(\infty\)-categories
• 2-Segal spaces as invertible infinity-operads
• On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• A model for the homotopy theory of homotopy theory
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• A unified framework for generalized multicategories
• Coherence for weak units
• Degeneracies in quasi-categories
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• Framed bicategories and monoidal fibrations
• Functors (between \(\infty \)-categories) that aren't strictly unital
• Generalized enrichment of categories
• Higher Segal spaces
• Higher Topos Theory (AM-170)
• Introduction to bicategories
• Iterated spans and classical topological field theories
• Lax colimits and free fibrations in \(\infty\)-categories
• Monads in double categories
• Quasi-unital \(\infty\)-categories
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• The higher Morita category of \(\mathbb{E}_n\)-algebras
• \(A_\infty\)-algebras, \(A_\infty\)-categories and \(A_\infty\)-functors

Cited in

(9)

• scientific article; zbMATH DE number 6465624 (Why is no real title available?)
• \(\infty\)-operads via symmetric sequences
• Higher Segal spaces via higher excision
• The \(\mathscr{D}\text{isc}\)-structure space
• Separoids, their categories and a Hadwiger-type theorem for transversals
• Ambidexterity and the universality of finite spans
• Semi-cosimplicial objects and spreadability
• Quasi-unital \(\infty\)-categories
• 2-Segal objects and algebras in spans

This page was built for publication: Segal spaces, spans, and semicategories

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