Decomposition-space slices are toposes

Joachim Kock, David I. Spivak

Research output: Contribution to journalArticleResearchpeer-review


We show that the category of decomposition spaces and CULF maps is locally a topos. Precisely, the slice category over any decomposition space D is a presheaf topos, namely Decomp/D ≃ Psh(tw D).

Original languageEnglish
Pages (from-to)2317-2329
Number of pages13
JournalProceedings of the American Mathematical Society
Issue number6
Publication statusPublished - 2020


Dive into the research topics of 'Decomposition-space slices are toposes'. Together they form a unique fingerprint.

Cite this