A topological groupoid representing the topos of presheaves on a monoid

DOI10.1007/S10485-020-09596-9zbMATH Open1460.18009arXiv1906.02690OpenAlexW3009999198MaRDI QIDQ2024923FDOQ2024923

Jens Hemelaer

Publication date: 4 May 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos of presheaves on an arbitrary monoid. If the monoid is embeddable in a group, the resulting topological groupoid is the action groupoid for a discrete group acting on a topological space. For these monoids, we show how to compute the points of the associated topos.

Full work available at URL: https://arxiv.org/abs/1906.02690

zbMATH Keywords

monoidtopological groupoidtopos theory\(F_1\)Butz-Moerdijktopos points

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Topological groupoids (including differentiable and Lie groupoids) (22A22) Pseudogroups and differentiable groupoids (58H05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Topos-theoretic approach to differentiable manifolds (58A03) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Au-dessous de Specℤ
• The arithmetic site
• Absolute derivations and zeta functions
• Schemes over $$ \mathbb{F}_1 $$
• On the immersion of an algebraic ring into a field
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Representing topoi by topological groupoids
• An arithmetic topos for integer matrices

Cited In (5)

• All topoi are localic or why permutation models prevail
• Additive Grothendieck pretopologies and presentations of tensor categories
• Toposes of Topological Monoid Actions
• A criterion of the existence of an embedding of a monothetic monoid into a topological group
• Monoid properties as invariants of toposes of monoid actions

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Toposes as homotopy groupoids 👍 👎
• Extendibility, monodromy, and local triviality for topological groupoids 👍 👎
• Topological aspect of monodromy groupoid for a group-groupoid 👍 👎
• Monodromy groupoid of a local topological group-groupoid 👍 👎
• Monodromy groupoid of an internal groupoid in topological groups with operations 👍 👎
• Topological group-groupoids and their coverings 👍 👎
• ON A q-ANALOGUE OF THE p-ADIC GENERALIZED TWISTED L-FUNCTIONS AND p-ADIC q-INTEGRALS 👍 👎
• Monoid and Topological Groupoid 👍 👎

This page was built for publication: A topological groupoid representing the topos of presheaves on a monoid

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