Double power monad preserving adjunctions are Frobenius

zbMATH Open1410.18006MaRDI QIDQ4563241FDOQ4563241

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

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

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

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)

Cites Work

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

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)