DECOMPOSITION-SPACE SLICES ARE TOPOSES

摘要

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) similar or equal to Psh(tw D).