Toposes of Topological Monoid Actions

DOI10.32408/COMPOSITIONALITY-5-1zbMATH Open1506.18006arXiv2105.00772OpenAlexW4315574994MaRDI QIDQ5869883FDOQ5869883

Authors: Morgan Rogers 

Publication date: 12 January 2023

Published in: Compositionality (Search for Journal in Brave)

Abstract: We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We characterize these toposes in terms of their canonical points. We identify natural classes of representatives with good topological properties, `powder monoids' and then `complete monoids', for the Morita-equivalence classes of topological monoids. Finally, we show that the construction of these toposes can be made (2-)functorial by considering geometric morphisms induced by continuous semigroup homomorphisms.

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

Recommendations

• Monoid properties as invariants of toposes of monoid actions
• A topological groupoid representing the topos of presheaves on a monoid
• Publication:4206922
• Morita equivalence for continuous groups
• scientific article; zbMATH DE number 4077515

Mathematics Subject Classification ID

Topoi (18B25) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Actions of a monoidal category, tensorial strength (18D25)

Cited In (16)

• Final lift actions associated with topological functors
• Title not available (Why is that?)
• Geometric morphisms between toposes of monoid actions: factorization systems
• Title not available (Why is that?)
• Topos theoretic aspects of semigroup actions
• Topological endomorphism monoids of models of geometric theories
• The points and localisations of the topos of \(M\)-sets
• Title not available (Why is that?)
• Topological rigidity as a monoidal equivalence
• Title not available (Why is that?)
• Monoid properties as invariants of toposes of monoid actions
• Initial normal covers in bi-Heyting toposes.
• Weak ideal topology in the topos of right acts over a monoid
• Sites whose topoi are the smooth representations of locally prodiscrete monoids
• Quotient toposes of discrete dynamical systems
• A tensor-hom adjunction in a topos related to vector topologies and bornologies

This page was built for publication: Toposes of Topological Monoid Actions

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