Representing topoi by topological groupoids

DOI10.1016/S0022-4049(97)00107-2zbMath0924.18002OpenAlexW2131112857MaRDI QIDQ1295576

Carsten Butz, Ieke Moerdijk

Publication date: 10 November 1999

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(97)00107-2

zbMATH Keywords

topostopological groupoidcategories of sheavesenough points

Mathematics Subject Classification ID

Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Other topological algebraic systems and their representations (22A30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (10)

Toposes for semigroups: an invitation ⋮ Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ Extension of topological groupoids and Hurewicz morphisms ⋮ The Unification of Mathematics via Topos Theory ⋮ An étalé space construction for stacks ⋮ A topos associated with a colored category ⋮ An elementary definability theorem for first order logic ⋮ A topological groupoid representing the topos of presheaves on a monoid ⋮ Sheaf Representations and Duality in Logic ⋮ Topological representation of geometric theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological Stein factorization; cutting
• Sheaves in geometry and logic: a first introduction to topos theory
• Toposes as homotopy groupoids
• Adjoint functors and triples
• 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
• An extension of the Galois theory of Grothendieck
• The Classifying Topos of a Continuous Groupoid. I
• Covering Etendues and Freyd's Theorem

This page was built for publication: Representing topoi by topological groupoids