Representing topoi by topological groupoids

DOI10.1016/S0022-4049(97)00107-2zbMATH Open0924.18002OpenAlexW2131112857MaRDI QIDQ1295576FDOQ1295576

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

Cites Work

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

Cited In (14)

• Title not available (Why is that?)
• All topoi are localic or why permutation models prevail
• Sheaf Representations and Duality in Logic
• A topological groupoid representing the topos of presheaves on a monoid
• Extension of topological groupoids and Hurewicz morphisms
• An étalé space construction for stacks
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• Topological representation of geometric theories
• The Unification of Mathematics via Topos Theory
• Toposes for semigroups: an invitation
• Représentation de topos par des espaces topologiques
• A topos associated with a colored category
• Optimising the topological information of the \(A_\infty \)-persistence groups
• An elementary definability theorem for first order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295576)