The elementary infinity-topos of truncated coherent spaces

arXiv2107.02082MaRDI QIDQ6372017FDOQ6372017

Authors: Mathieu Anel 

Publication date: 5 July 2021

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)