Cartesian monads on toposes

DOI10.1016/S0022-4049(96)00165-XzbMath0881.18001OpenAlexW2151448345MaRDI QIDQ678846

Peter T. Johnstone

Publication date: 18 January 1998

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(96)00165-x

zbMATH Keywords

toposmonadgeometric morphismzero-dimensional locale

Mathematics Subject Classification ID

Topoi (18B25) Boolean algebras (Boolean rings) (06E99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Varieties (08B99)

Related Items

Polynomial functors and polynomial monads, Local fibred right adjoints are polynomial, The Michael completion of a topos spread, Bernays-Gödel type theory, Strongly zero-dimensional locales

Cites Work

• 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.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item