Decomposition-space slices are toposes
Category Theory
2019-09-04 v3 Algebraic Topology
Abstract
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).
Cite
@article{arxiv.1807.06000,
title = {Decomposition-space slices are toposes},
author = {Joachim Kock and David I. Spivak},
journal= {arXiv preprint arXiv:1807.06000},
year = {2019}
}
Comments
14 pages