SUBGROUPOIDS AND QUOTIENT THEORIES
2013 (English)In: Theory and Applications of Categories, ISSN 1201-561X, Vol. 28, 541-551 p.Article in journal (Refereed) Published
Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a subgroupoid of an open topological groupoid G, then the topos of equivariant sheaves on H is a subtopos of the topos of equivariant sheaves on G. This proposition is then applied to the study of quotient geometric theories and subtoposes. In particular, an intrinsic characterization is given of those subgroupoids that are definable by quotient theories.
Place, publisher, year, edition, pages
MOUNT ALLISON UNIV., Canada , 2013. Vol. 28, 541-551 p.
Grothendieck toposes, sheaves on topological groupoids, categorical logic
IdentifiersURN: urn:nbn:se:su:diva-101029ISI: 000330224400006OAI: oai:DiVA.org:su-101029DiVA: diva2:699386
Eduard Cech Center for Algebra and Geometry LC505 2014-02-272014-02-212014-02-27Bibliographically approved