子群胚与商理论
Subgroupoids and Quotient Theories
摘要：
利用Moerdijk对开拓扑群胚上等变层拓扑的位置描述证明了一个（已知但显然未发表的）命题：如果H是开拓扑群胚G的严格满子群胚，则H上等变层的拓扑是G上等变层拓扑的子拓扑。这个命题，然后适用于商几何理论和subtoposes的研究。特别是，一个内在的特征给出了这些子群胚是可定义的商理论。
英文摘要：
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 strictly full 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
