Decomposition-space slices are toposes

DOI10.1090/proc/14834zbMath1442.18008arXiv1807.06000OpenAlexW3011710845MaRDI QIDQ4959712

David I. Spivak, Joachim Kock

Publication date: 7 April 2020

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

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

Mathematics Subject Classification ID

Topoi (18B25) Simplicial sets and complexes in algebraic topology (55U10) Simplicial sets, simplicial objects (18N50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Thomason cohomology of categories
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Sheaves in geometry and logic: a first introduction to topos theory
• Exponentiability and single universes
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Dynamical systems and sheaves
• Configuration-spaces and iterated loop-spaces
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Every 2-Segal space is unital
• The edgewise subdivision criterion for 2-Segal objects
• Higher Segal Spaces
• Higher Topos Theory (AM-170)

This page was built for publication: Decomposition-space slices are toposes