Cartesian monads on toposes
From MaRDI portal
Publication:678846
DOI10.1016/S0022-4049(96)00165-XzbMath0881.18001MaRDI QIDQ678846
Publication date: 18 January 1998
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
18B25: Topoi
06E99: Boolean algebras (Boolean rings)
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
08B99: Varieties
Related Items
Strongly zero-dimensional locales, The Michael completion of a topos spread, Bernays-Gödel type theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Actions of Boolean rings on sets
- Collapsed toposes and cartesian closed varieties
- Exact functors and measurable cardinals
- Artin glueing
- Strong functors and monoidal monads
- Weak Powers and Small-Valued Functors
- Constructive complete distributivity II
- Connected limits, familial representability and Artin glueing
- Bilinearity and Cartesian Closed Monads.