### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: The elementary infinity-topos of truncated coherent spaces

(Submitted on 5 Jul 2021 (v1), last revised 14 Jul 2021 (this version, v2))

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.

## Submission history

From: Mathieu Anel [view email]**[v1]**Mon, 5 Jul 2021 15:24:12 GMT (18kb)

**[v2]**Wed, 14 Jul 2021 15:28:30 GMT (19kb)

Link back to: arXiv, form interface, contact.