TY  - RPRT
TI  - Decomposition-space slices are toposes
AU  - Joachim Kock
AU  - David I. Spivak
PY  - 2019
UR  - https://arxiv.org/abs/1807.06000
ID  - 1807.06000
ER  -