Segal spaces, spans, and semicategories

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

Authors: Rune Haugseng 

Publication date: 10 February 2021

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

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

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)