Every étendue comes from a local equivalence relation

DOI10.1016/0022-4049(92)90118-YzbMath0779.18005MaRDI QIDQ1208192

Anders Kock, Ieke Moerdijk

Publication date: 16 May 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

local equivalence relationglobal sectionlocalic toposétenduetopos of sheaves on a locale

Mathematics Subject Classification ID

Topoi (18B25)

Related Items (3)

Spaces with local equivalence relations, and their monodromy ⋮ Lie local subgroupoids and their holonomy and monodromy Lie groupoids ⋮ Local subgroupoids. II: Examples and properties.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Atomic toposes
• Molecular toposes
• Toposes as homotopy groupoids
• Spaces with local equivalence relations, and their monodromy
• An elementary proof of the descent theorem for Grothendieck toposes
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Colimits of accessible categories
• An extension of the Galois theory of Grothendieck
• The Classifying Topos of a Continuous Groupoid. I
• Morita equivalence for continuous groups
• A Godement theorem for locales

This page was built for publication: Every étendue comes from a local equivalence relation