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.
► BibTeX data
► References
[1] M. Barr and C. Wells. Toposes, Triples and Theories. Springer New York, NY, 1985.
[2] P. Bridge. Essentially Algebraic Theories and Localizations in Toposes and Abelian Categories. PhD thesis, University of Manchester, 2012.
[3] O. Caramello. Site Characterizations for Geometric Invariants of Toposes. Theory and Applications of Categories, 26, 2012.
[4] O. Caramello. Topological Galois Theory. Advances in Mathematics, 291, 2016. https://doi.org/10.1016/j.aim.2015.11.050.
https://doi.org/10.1016/j.aim.2015.11.050
[5] O. Caramello and L. Lafforgue. Some Aspects of Topological Galois Theory. Journal of Geometry and Physics, 142, 2019. https://doi.org/10.1016/j.geomphys.2019.04.004.
https://doi.org/10.1016/j.geomphys.2019.04.004
[6] E. J. Dubuc. Localic Galois Theory. Advances in Mathematics, 175, 2001. https://doi.org/10.1016/S0001-8708(02)00046-4.
https://doi.org/10.1016/S0001-8708(02)00046-4
[7] J Funk, M. V. Lawson, and B. Steinberg. Characterizations of Morita Equivalent Inverse Semigroups. Journal of Pure and Applied Algebra, 215, 2011. https://doi.org/10.1016/j.jpaa.2011.02.015.
https://doi.org/10.1016/j.jpaa.2011.02.015
[8] J. Hemelaer. A Topological Groupoid Representing the Topos of Presheaves on a Monoid. Applied Categorical Structures, 28, 2020. https://doi.org/10.1007/s10485-020-09596-9.
https://doi.org/10.1007/s10485-020-09596-9
[9] J. Hemelaer and M. Rogers. Monoid Properties as Invariants of Toposes of Monoid Actions. Applied Categorical Structures, 29, 2020. https://doi.org/10.1007/s10485-020-09620-y.
https://doi.org/10.1007/s10485-020-09620-y
[10] J. Hemelaer and M. Rogers. Geometric morphisms between toposes of monoid actions: factorization systems. 2023. to appear in Theory and Applications of Categories.
[11] P. T. Johnstone. Factorization Theorems for Geometric Morphisms, I. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 22, 1981.
[12] P. T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium, volumes 1 and 2. Clarendon Press, 2002.
[13] S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Springer New York, NY, 1992. https://doi.org/10.1007/978-1-4612-0927-0.
https://doi.org/10.1007/978-1-4612-0927-0
[14] M. Rogers. Toposes of Discrete Monoid Actions. 2019. Preprint available at https://doi.org/10.48550/arXiv.1905.10277.
https://doi.org/10.48550/arXiv.1905.10277
[15] M. Rogers. On Supercompactly and Compactly Generated Toposes. Theory and Applications of Categories, 37, 2021a.
[16] M. Rogers. Toposes of monoid actions. PhD thesis, Universitá degli Studi dell'Insubria, 2021b.
[17] L.A. Steen and J.A. Seebach. Counterexamples in Topology. Courier Corporation, 1995.
[18] T. Uramoto. Semi-Galois Categories I: The Classical Eilenberg Variety Theory. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016.
[19] J.S. Wilson. Profinite Groups. Clarendon Press, 1998.
[20] G.C. Wraith. Localic Groups. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 22, 1981.
Cited by
Could not fetch Crossref cited-by data during last attempt 2024-11-21 11:18:22: Could not fetch cited-by data for 10.32408/compositionality-5-1 from Crossref. This is normal if the DOI was registered recently. On SAO/NASA ADS no data on citing works was found (last attempt 2024-11-21 11:18:22).
This Paper is published in Compositionality under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.