Toward the effective 2-topos
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917200611246080 |
|---|---|
| author | Awodey, Steve Emmenegger, Jacopo |
| author_facet | Awodey, Steve Emmenegger, Jacopo |
| contents | A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_24279 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Toward the effective 2-topos Awodey, Steve Emmenegger, Jacopo Category Theory Logic 18B25, 18N10 A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types. |
| title | Toward the effective 2-topos |
| topic | Category Theory Logic 18B25, 18N10 |
| url | https://arxiv.org/abs/2503.24279 |