Toposes of Topological Monoid Actions

DOI10.32408/COMPOSITIONALITY-5-1MaRDI QIDQ5869883zbMATH OpenOpenAlexFDO

Authors Morgan Rogers

Publication date 12 January 2023

Published in Compositionality (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(16)

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

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)