Publication:5233741
From MaRDI portal
zbMath1469.18006MaRDI QIDQ5233741
Publication date: 12 September 2019
Full work available at URL: http://www.tac.mta.ca/tac/volumes/34/25/34-25abs.html
18B25: Topoi
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18N99: Higher categories and homotopical algebra
Related Items
Cites Work
- Levels in the toposes of simplicial sets and cubical sets
- Sheaves in geometry and logic: a first introduction to topos theory
- Tarski's theorem on intuitionistic logic, for polyhedra
- Reedy categories and the \(\varTheta\)-construction
- On absolute colimits
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES
- Linearization of graphic toposes via Coxeter groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item