Pitts monads and a lax descent theorem
From MaRDI portal
Publication:2260278
DOI10.1515/tmj-2015-0001zbMath1350.18008OpenAlexW329326931MaRDI QIDQ2260278
Publication date: 10 March 2015
Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/tmj-2015-0001
Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cosheaves and connectedness in formal topology
- Lax proper maps of locales
- Molecular toposes
- Properly injective spaces and function spaces
- Proper maps of locales
- Descent and duality
- Proof of a conjecture of A. Pitts
- Monads for which structures are adjoint to units
- The symmetric topos
- Singular coverings of toposes
- An extension of the Galois theory of Grothendieck
- Definability and descent
- Proper maps of toposes