Decomposition-space slices are toposes
arXiv:1807.06000
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).
14 pages