Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids.
To prove the representation theorem, a new characterisation of the connected components adjunction of any internal groupoid is given. The characterisation is that the adjunction is covered by a stable Frobenius adjunction that is a slice and whose right adjoint is monadic. Geometric morphisms can be represented as stably Frobenius adjunctions. As applications of the study we show how it is easy to recover properties of geometric morphisms, seeing them as aspects of properties of stably Frobenius adjunctions.
References
Hilsum, M. and Skandalis, G. Morphismes K-orientes d'espace de feuilles et functorialite en theorie de Kasparov. Ann. Scient. Ec. Norm. Sup. 20 (1987) 325-390. 0656.57015 10.24033/asens.1537 Hilsum, M. and Skandalis, G. Morphismes K-orientes d'espace de feuilles et functorialite en theorie de Kasparov. Ann. Scient. Ec. Norm. Sup. 20 (1987) 325-390. 0656.57015 10.24033/asens.1537
Joyal, A. and Tierney, M. An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984. 0541.18002 Joyal, A. and Tierney, M. An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984. 0541.18002
Lawvere, F. W. Equality in Hyperdoctrines and comprehension schema as an adjoint functor in Applications of Categorical Algebra, Proc. of Symposia in Pure Math., AMS, vol. XVII (1970) 1-14. 0234.18002 Lawvere, F. W. Equality in Hyperdoctrines and comprehension schema as an adjoint functor in Applications of Categorical Algebra, Proc. of Symposia in Pure Math., AMS, vol. XVII (1970) 1-14. 0234.18002
Moerdijk, I. The classifying topos of a continuous groupoid. I, Transactions of the American Mathematical Society, Volume 310, Number 2, (1988) 629-668. 0706.18007 10.1090/S0002-9947-1988-0973173-9 Moerdijk, I. The classifying topos of a continuous groupoid. I, Transactions of the American Mathematical Society, Volume 310, Number 2, (1988) 629-668. 0706.18007 10.1090/S0002-9947-1988-0973173-9
Moerdijk, I. Morita equivalence for continuous groups, Math. Proc. Camb. Phil. Soc. 103 (1988) 97-115. 0648.22001 10.1017/S0305004100064665 Moerdijk, I. Morita equivalence for continuous groups, Math. Proc. Camb. Phil. Soc. 103 (1988) 97-115. 0648.22001 10.1017/S0305004100064665
Moerdijk, I., Mrcun, J. Lie groupoids, sheaves and cohomology. Part Three of `Poisson Geometry, Deformation Quantisation and Group Representations' London Math. Soc. Lecture Note Ser. 323, Cambridge University Press, Cambridge, (2005) 145-272. 1082.58018 Moerdijk, I., Mrcun, J. Lie groupoids, sheaves and cohomology. Part Three of `Poisson Geometry, Deformation Quantisation and Group Representations' London Math. Soc. Lecture Note Ser. 323, Cambridge University Press, Cambridge, (2005) 145-272. 1082.58018
Townsend, C.F. A representation theorem for geometric morphisms. Applied Categorical Structures. 18 (2010) 573-583. 1207.18005 10.1007/s10485-009-9187-2 Townsend, C.F. A representation theorem for geometric morphisms. Applied Categorical Structures. 18 (2010) 573-583. 1207.18005 10.1007/s10485-009-9187-2
Townsend, C.F. Aspects of slice stability in Locale Theory Georgian Mathematical Journal. Vol. 19, Issue 2, (2012) 317-374. 1258.06004 10.1515/gmj-2012-0011 Townsend, C.F. Aspects of slice stability in Locale Theory Georgian Mathematical Journal. Vol. 19, Issue 2, (2012) 317-374. 1258.06004 10.1515/gmj-2012-0011
Townsend, C.F. A short proof of the localic groupoid representation of Grothendieck toposes. Proceedings of the American Mathematical Society 142.3 (2014) 859-866. 1302.06014 10.1090/S0002-9939-2013-11829-0 Townsend, C.F. A short proof of the localic groupoid representation of Grothendieck toposes. Proceedings of the American Mathematical Society 142.3 (2014) 859-866. 1302.06014 10.1090/S0002-9939-2013-11829-0
Townsend, C.F. Principal bundles as Frobenius adjunctions with application to geometric morphisms. Math. Proc. Camb. Phi. 159 (2015), 433-444. 1371.18003 10.1017/S0305004115000444 Townsend, C.F. Principal bundles as Frobenius adjunctions with application to geometric morphisms. Math. Proc. Camb. Phi. 159 (2015), 433-444. 1371.18003 10.1017/S0305004115000444
Townsend, C.F. Stability of Properties of Locales Under Groups. Appl Categor Struct Vol. 25 Issue 3 (2017), 363-380. 1405.18005 10.1007/s10485-016-9430-6 Townsend, C.F. Stability of Properties of Locales Under Groups. Appl Categor Struct Vol. 25 Issue 3 (2017), 363-380. 1405.18005 10.1007/s10485-016-9430-6
