Cartesian monads on toposes

DOI10.1016/S0022-4049(96)00165-XMaRDI QIDQ678846zbMATH OpenOpenAlexFDO

Authors Peter 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

geometric morphismmonadtoposzero-dimensional locale

Mathematics Subject Classification ID

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

Review text

A geometric morphism between toposes, being an adjoint pair of left exact functors, induces a left exact monad on the codomain. The author addresses the question whether any left exact monad on a topos arises this way. The answer is positive provided the topos is Boolean. The proof technique is: use the existing theory of strong and indexed monads to reduce the question to the case where the topos is the category of \({\mathcal S}ets\). Here, left exact monads are shown to correspond bijectively to strongly zero dimensional locales, and these give rise to the desired geometric morphisms.

Recommendations

• Representing geometric morphisms using power locale monads
• Toposes of Topological Monoid Actions
• A representation theorem for geometric morphisms
• CABool is monadic over almost all categories

Cites work

• Actions of Boolean rings on sets
• Artin glueing
• Bilinearity and Cartesian Closed Monads.
• Collapsed toposes and cartesian closed varieties
• Connected limits, familial representability and Artin glueing
• Constructive complete distributivity II
• Exact functors and measurable cardinals
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3605078 (Why is no real title available?)
• scientific article; zbMATH DE number 3608260 (Why is no real title available?)
• scientific article; zbMATH DE number 3335736 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Strong functors and monoidal monads
• Weak Powers and Small-Valued Functors

Cited in

(11)

• Strongly zero-dimensional locales
• The Michael completion of a topos spread
• Bernays-Gödel type theory
• Representing geometric morphisms using power locale monads
• scientific article; zbMATH DE number 4168917 (Why is no real title available?)
• scientific article; zbMATH DE number 1294289 (Why is no real title available?)
• Polynomial functors and polynomial monads
• Local fibred right adjoints are polynomial
• The clean elements of the ring \(\mathcal{R}(L)\).
• Cartesian closed varieties. I: The classification theorem
• Semantics of multimodal adjoint type theory

This page was built for publication: Cartesian monads on toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q678846)