Principal bundles as Frobenius adjunctions with application to geometric morphisms

DOI10.1017/S0305004115000444zbMATH Open1371.18003arXiv1403.4183OpenAlexW2167945445MaRDI QIDQ5360348FDOQ5360348

Authors: Christopher F. Townsend 

Publication date: 28 September 2017

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1403.4183

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

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• An application of descent to a classification theorem for toposes
• Title not available (Why is that?)
• Hopf monads on monoidal categories
• Fibre bundles in general categories
• Classifying toposes and foliations
• Classifying spaces and classifying topoi
• Localic triquotient maps are effective descent maps
• A representation theorem for geometric morphisms
• On the parallel between the suplattice and preframe approaches to locale theory
• An axiomatic account of weak triquotient assignments in locale theory

Cited In (8)

• Title not available (Why is that?)
• 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)