A topological groupoid representing the topos of presheaves on a monoid

DOI10.1007/S10485-020-09596-9MaRDI QIDQ2024923zbMATH OpenOpenAlexFDO

Authors Jens Hemelaer

Publication date 4 May 2021

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

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)

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.

Recommendations

• Topological aspect of monodromy groupoid for a group-groupoid
• Monoid and topological groupoid
• scientific article; zbMATH DE number 6704662
• scientific article; zbMATH DE number 3882616
• Toposes as homotopy groupoids
• Topological group-groupoids and their coverings
• Monodromy groupoid of a local topological group-groupoid
• Extendibility, monodromy, and local triviality for topological groupoids
• ON A q-ANALOGUE OF THE p-ADIC GENERALIZED TWISTED L-FUNCTIONS AND p-ADIC q-INTEGRALS
• Monodromy groupoid of an internal groupoid in topological groups with operations

Cites work

• scientific article; zbMATH DE number 3137862 (Why is no real title available?)
• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 772545 (Why is no real title available?)
• Absolute derivations and zeta functions
• An arithmetic topos for integer matrices
• Au-dessous de Specℤ
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• On the immersion of an algebraic ring into a field
• Representing topoi by topological groupoids
• Schemes over $$ \mathbb{F}_1 $$
• The arithmetic site
• Topos theoretic aspects of semigroup actions

Cited in

(7)

• 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
• scientific article; zbMATH DE number 2114691 (Why is no real title available?)
• Monoid properties as invariants of toposes of monoid actions
• Weak ideal topology in the topos of right acts over a monoid

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)