Double power monad preserving adjunctions are Frobenius

MaRDI QIDQ4563241zbMATH OpenFDO

Authors Christopher F. Townsend

Publication date 7 June 2018

Full work available at URL http://www.tac.mta.ca/tac/volumes/33/17/33-17abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

toposlocaleFrobenius reciprocitygeometric morphismpower monad

Mathematics Subject Classification ID

Frames, locales (06D22) Representations of Lie and linear algebraic groups over real fields: analytic methods (22E45) Topoi (18B25) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Topological groupoids (including differentiable and Lie groupoids) (22A22)

Recommendations

• Representing geometric morphisms using power locale monads
• Double ad junctions and free monads
• scientific article; zbMATH DE number 3964132
• When are enriched strong monads double exponential monads?
• Monads in double categories

Cites work

• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• A categorical account of the Hofmann–Mislove theorem
• A representation theorem for geometric morphisms
• A short proof of the localic groupoid representation of Grothendieck toposes.
• An axiomatic account of weak triquotient assignments in locale theory
• An extension of the Galois theory of Grothendieck
• Aspects of slice stability in locale theory
• Localic triquotient maps are effective descent maps
• Representing geometric morphisms using power locale monads
• Stability of properties of locales under groups

Cited in

(3)

• Towards higher topology
• Representing geometric morphisms using power locale monads
• Distributive idempotents in an order-enriched category

This page was built for publication: Double power monad preserving adjunctions are Frobenius

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