Cartesian monads on toposes (Q678846): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q382417 / rank | |||
Property / author | |||
Property / author: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Actions of Boolean rings on sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact functors and measurable cardinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connected limits, familial representability and Artin glueing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5731806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak Powers and Small-Valued Functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3901650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711309 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Collapsed toposes and cartesian closed varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4173541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bilinearity and Cartesian Closed Monads. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong functors and monoidal monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4170869 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive complete distributivity II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5613067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Artin glueing / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0022-4049(96)00165-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2151448345 / rank | |||
Normal rank |
Latest revision as of 11:08, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cartesian monads on toposes |
scientific article |
Statements
Cartesian monads on toposes (English)
0 references
18 January 1998
0 references
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.
0 references
monad
0 references
topos
0 references
geometric morphism
0 references
zero-dimensional locale
0 references