The elementary infinity-topos of truncated coherent spaces
From MaRDI portal
Publication:6372017
Abstract: This note shows that the category of truncated spaces with finite homotopy invariants (aka truncated coherent spaces, or truncated pi-finite spaces) has many of the expected features of what should be an elementary infinity-topos. It should be thought as the natural higher analogue of the elementary topos of finite sets.
This page was built for publication: The elementary infinity-topos of truncated coherent spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6372017)
