Every Elementary Higher Topos has a Natural Number Object (Q5858943)
From MaRDI portal
scientific article; zbMATH DE number 7333622
Language | Label | Description | Also known as |
---|---|---|---|
English | Every Elementary Higher Topos has a Natural Number Object |
scientific article; zbMATH DE number 7333622 |
Statements
15 April 2021
0 references
elementary topos theory
0 references
higher category theory
0 references
natural number objects
0 references
math.CT
0 references
math.AT
0 references