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

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

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?)
• Au-dessous de Specℤ
• The arithmetic site
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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}}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representing topoi by topological groupoids
• An arithmetic topos for integer matrices

Cited In (6)

• 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
• Title not available (Why is that?)
• Monoid properties as invariants of toposes of monoid actions

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)