Decidable objects and molecular toposes
From MaRDI portal
Publication:6667500
DOI10.33044/revuma.3427MaRDI QIDQ6667500
Publication date: 20 January 2025
Published in: Revista de la Unión Matemática Argentina (Search for Journal in Brave)
Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An elementary characterization of categories of separated objects
- On right adjoints to exponential functors
- Molecular toposes
- Sheaves in geometry and logic: a first introduction to topos theory
- On localization and stabilization for factorization systems
- Decidable (= separable) objects and morphisms in lextensive categories
- An essential, hyperconnected, local geometric morphism that is not locally connected
- The hyperconnected maps that are local
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Maps with discrete fibers and the origin of basepoints
- On product-preserving Kan extensions
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES
- An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
- Toposes over which essential implies locally connected
- Decidable objects and molecular toposes
Related Items (1)
This page was built for publication: Decidable objects and molecular toposes
