A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
A short proof of the localic groupoid representation of Grothendieck toposes
Proceedings of the American Mathematical Society
It is known that each Grothendieck topos is the category of Gequivariant sheaves for some localic groupoid G. A simple proof of this is given which relies on the recently observed fact that the pullback adjunction between locales induced by any geometric morphism satisfies Frobenius reciprocity.doi:10.1090/s0002-9939-2013-11829-0 fatcat:r7iqc56mgjg3nkt7wr3yrposyq