Principal bundles as Frobenius adjunctions with application to geometric morphisms
From MaRDI portal
Publication:5360348
Frames, locales (06D22) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Abstract: Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G, an internal group, to G an internal groupoid. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it is proved that all geometric morphisms, from a localic topos to a bounded topos, can be characterised as principal bundles.
Recommendations
- scientific article; zbMATH DE number 589684
- A short proof of the localic groupoid representation of Grothendieck toposes.
- Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
- scientific article; zbMATH DE number 7692251
- A representation theorem for geometric morphisms
Cites work
- scientific article; zbMATH DE number 4181603 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- A representation theorem for geometric morphisms
- An application of descent to a classification theorem for toposes
- An axiomatic account of weak triquotient assignments in locale theory
- An extension of the Galois theory of Grothendieck
- Classifying spaces and classifying topoi
- Classifying toposes and foliations
- Fibre bundles in general categories
- Hopf monads on monoidal categories
- Localic triquotient maps are effective descent maps
- On the parallel between the suplattice and preframe approaches to locale theory
Cited in
(8)- scientific article; zbMATH DE number 589684 (Why is no real title available?)
- Stability of properties of locales under groups
- Representing geometric morphisms using power locale monads
- A representation theorem for geometric morphisms
- Principal \(\infty \)-bundles: general theory
- Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
- An application of descent to a classification theorem for toposes
- Comprehensive factorisation systems
This page was built for publication: Principal bundles as Frobenius adjunctions with application to geometric morphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5360348)
