Pitts monads and a lax descent theorem
From MaRDI portal
Publication:2260278
DOI10.1515/tmj-2015-0001zbMath1350.18008MaRDI 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
lax descent; symmetric monad; coherent toposes; Kock-Zoeberlein monads; Pitts' theorem; powerlocales
03G10: Logical aspects of lattices and related structures
03G30: Categorical logic, topoi
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
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