solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看114次
Decomposition-space slices are toposes. (arXiv:1807.06000v1 [math.CT])
来源于:arXiv
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). A crucial ingredient in our
constructions and proofs is a natural transformation between the functors given
by taking category of elements and taking twisted arrow category. 查看全文>>