{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T02:30:40Z","timestamp":1772505040472,"version":"3.50.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,12,3]],"date-time":"2020-12-03T00:00:00Z","timestamp":1606953600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,12,3]],"date-time":"2020-12-03T00:00:00Z","timestamp":1606953600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"INdAM-DP-COFUND-2015","award":["713485"],"award-info":[{"award-number":["713485"]}]},{"DOI":"10.13039\/501100007660","name":"Universiteit Antwerpen","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007660","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We systematically investigate, for a monoid<jats:italic>M<\/jats:italic>, how topos-theoretic properties of<jats:inline-formula><jats:alternatives><jats:tex-math>$${{\\,\\mathrm{\\mathbf {PSh}}\\,}}(M)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow><mml:mrow><mml:mspace\/><mml:mi>PSh<\/mml:mi><mml:mspace\/><\/mml:mrow><mml:mo>(<\/mml:mo><mml:mi>M<\/mml:mi><mml:mo>)<\/mml:mo><\/mml:mrow><\/mml:math><\/jats:alternatives><\/jats:inline-formula>, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of<jats:italic>M<\/jats:italic>.<\/jats:p>","DOI":"10.1007\/s10485-020-09620-y","type":"journal-article","created":{"date-parts":[[2020,12,3]],"date-time":"2020-12-03T15:04:08Z","timestamp":1607007848000},"page":"379-413","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Monoid Properties as Invariants of Toposes of Monoid Actions"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7228-272X","authenticated-orcid":false,"given":"Jens","family":"Hemelaer","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0277-8217","authenticated-orcid":false,"given":"Morgan","family":"Rogers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,3]]},"reference":[{"issue":"3","key":"9620_CR1","first-page":"529","volume":"41","author":"J Ad\u00e1mek","year":"2000","unstructured":"Ad\u00e1mek, J., Koubek, V., Velebil, J.: A duality between infinitary varieties and algebraic theories. Comment. Math. Univ. Carolin. 41(3), 529\u2013541 (2000)","journal-title":"Comment. Math. Univ. Carolin."},{"key":"9620_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series","author":"J Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press, Cambridge (1994)"},{"issue":"13","key":"9620_CR3","first-page":"251","volume":"23","author":"J Ad\u00e1mek","year":"2010","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J., Vitale, E.M.: What are sifted colimits? Theory Appl. Categ. 23(13), 251\u2013260 (2010)","journal-title":"Theory Appl. Categ."},{"key":"9620_CR4","first-page":"527","volume":"30","author":"M Bjerrum","year":"2015","unstructured":"Bjerrum, M., Johnstone, P., Leinster, T., Sawin, W.F.: Notes on commutation of limits and colimits. Theory Appl. Categ. 30, 527\u2013532 (2015). Paper No. 15","journal-title":"Theory Appl. Categ."},{"issue":"4","key":"9620_CR5","doi-asserted-by":"publisher","first-page":"456","DOI":"10.4153\/CMB-1991-073-2","volume":"34","author":"S Bulman-Fleming","year":"1991","unstructured":"Bulman-Fleming, S.: Pullback-flat acts are strongly flat. Can. Math. Bull. 34(4), 456\u2013461 (1991)","journal-title":"Can. Math. Bull."},{"issue":"2","key":"9620_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s002330010066","volume":"63","author":"S Bulman-Fleming","year":"2001","unstructured":"Bulman-Fleming, S., Laan, V.: Tensor products and preservation of limits, for acts over monoids. Semigroup Forum 63(2), 161\u2013179 (2001)","journal-title":"Semigroup Forum"},{"key":"9620_CR7","volume-title":"Singular Coverings of Toposes. Lecture Notes in Mathematics","author":"M Bunge","year":"2006","unstructured":"Bunge, M., Funk, J.: Singular Coverings of Toposes. Lecture Notes in Mathematics, vol. 1890. Springer, Berlin (2006)"},{"key":"9620_CR8","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198758914.001.0001","volume-title":"Theories, Sites, Toposes","author":"O Caramello","year":"2018","unstructured":"Caramello, O.: Theories, Sites, Toposes. Oxford University Press, Oxford (2018)"},{"issue":"1\u20133","key":"9620_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0022-4049(96)00115-6","volume":"125","author":"A Carboni","year":"1998","unstructured":"Carboni, A., Vitale, E.M.: Regular and exact completions. J. Pure Appl. Algebra 125(1\u20133), 79\u2013116 (1998)","journal-title":"J. Pure Appl. Algebra"},{"key":"9620_CR10","unstructured":"Clark, P.L.: Commutative Algebra. http:\/\/alpha.math.uga.edu\/~pete\/expositions2012.html (2015). Online notes"},{"key":"9620_CR11","unstructured":"Connes, A., Consani, C.: $$\\overline{{{\\rm Spec}} ({\\mathbb{Z}})}$$ and the Gromov norm. preprint (2019). arXiv:1905.03310"},{"issue":"12","key":"9620_CR12","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1016\/j.crma.2014.07.009","volume":"352","author":"A Connes","year":"2014","unstructured":"Connes, A., Consani, C.: The arithmetic site. C. R. Math. Acad. Sci. Paris 352(12), 971\u2013975 (2014)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"9620_CR13","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.aim.2015.11.045","volume":"291","author":"A Connes","year":"2016","unstructured":"Connes, A., Consani, C.: Geometry of the arithmetic site. Adv. Math. 291, 274\u2013329 (2016)","journal-title":"Adv. Math."},{"issue":"4","key":"9620_CR14","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s00605-019-01274-w","volume":"190","author":"Y Dandan","year":"2019","unstructured":"Dandan, Y., Gould, V., Quinn-Gregson, T., Zenab, R.: Semigroups with finitely generated universal left congruence. Monatsh. Math. 190(4), 689\u2013724 (2019)","journal-title":"Monatsh. Math."},{"key":"9620_CR15","volume-title":"Categories, Allegories, North-Holland Mathematical Library","author":"PJ Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories, North-Holland Mathematical Library, vol. 39. North-Holland Publishing Co., Amsterdam (1990)"},{"key":"9620_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-0-387-36717-0_13","volume-title":"Multiplicative Ideal Theory in Commutative Algebra","author":"A Geroldinger","year":"2006","unstructured":"Geroldinger, A., Halter-Koch, F.: Non-unique factorizations: a survey. In: Brewer, J.W., Glaz, S., Heinzer, W., Olberding, B. (eds.) Multiplicative Ideal Theory in Commutative Algebra, pp. 207\u2013226. Springer, New York (2006)"},{"key":"9620_CR17","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1215\/ijm\/1255454110","volume":"2","author":"AM Gleason","year":"1958","unstructured":"Gleason, A.M.: Projective topological spaces. Illinois J. Math. 2, 482\u2013489 (1958)","journal-title":"Illinois J. Math."},{"key":"9620_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9333-5","volume-title":"Semirings and Their Applications","author":"JS Golan","year":"1999","unstructured":"Golan, J.S.: Semirings and Their Applications. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"9620_CR19","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.jnt.2019.03.023","volume":"204","author":"J Hemelaer","year":"2019","unstructured":"Hemelaer, J.: An arithmetic topos for integer matrices. J. Number Theory 204, 155\u2013184 (2019)","journal-title":"J. Number Theory"},{"key":"9620_CR20","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1007\/s10485-020-09596-9","volume":"28","author":"J Hemelaer","year":"2020","unstructured":"Hemelaer, J.: A topological groupoid representing the topos of presheaves on a monoid. Appl. Categ. Struct. 28, 749\u2013772 (2020)","journal-title":"Appl. Categ. Struct."},{"key":"9620_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1090\/S0002-9947-1969-0251026-X","volume":"142","author":"M Hochster","year":"1969","unstructured":"Hochster, M.: Prime ideal structure in commutative rings. Trans. Am. Math. Soc. 142, 43\u201360 (1969)","journal-title":"Trans. Am. Math. Soc."},{"key":"9620_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198511946.001.0001","volume-title":"Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series","author":"JM Howie","year":"1995","unstructured":"Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series, vol. 12. The Clarendon Press, New York (1995)"},{"key":"9620_CR23","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-1-4020-1898-5_2","volume-title":"Galois Connections and Applications, Mathematics and Its Applications","author":"G Janelidze","year":"2004","unstructured":"Janelidze, G.: Categorical Galois theory: revision and some recent developments. In: Denecke, K., Erne, M., Wismath, S.L. (eds.) Galois Connections and Applications, Mathematics and Its Applications, vol. 565, pp. 139\u2013171. Kluwer Academic Publishers, Dordrecht (2004)"},{"issue":"3","key":"9620_CR24","first-page":"51","volume":"25","author":"P Johnstone","year":"2011","unstructured":"Johnstone, P.: Remarks on punctual local connectedness. Theory Appl. Categ. 25(3), 51\u201363 (2011)","journal-title":"Theory Appl. Categ."},{"key":"9620_CR25","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. The Clarendon Press, Oxford (2002)"},{"key":"9620_CR26","doi-asserted-by":"publisher","DOI":"10.1515\/9783110812909","volume-title":"Monoids, Acts and Categories, De Gruyter Expositions in Mathematics","author":"M Kilp","year":"2000","unstructured":"Kilp, M., Knauer, U., Mikhalev, A.V.: Monoids, Acts and Categories, De Gruyter Expositions in Mathematics, vol. 29. Walter de Gruyter & Co., Berlin (2000)"},{"issue":"3","key":"9620_CR27","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1142\/S0218196707003743","volume":"17","author":"Y Kobayashi","year":"2007","unstructured":"Kobayashi, Y.: The homological finiteness property $${\\rm FP}_1$$ and finite generation of monoids. Int. J. Algebra Comput. 17(3), 593\u2013605 (2007)","journal-title":"Int. J. Algebra Comput."},{"key":"9620_CR28","first-page":"909","volume":"30","author":"FW Lawvere","year":"2015","unstructured":"Lawvere, F.W., Menni, M.: Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Theory Appl. Categ. 30, 909\u2013932 (2015). Paper No. 26","journal-title":"Theory Appl. Categ."},{"issue":"3","key":"9620_CR29","first-page":"41","volume":"19","author":"F William Lawvere","year":"2007","unstructured":"William Lawvere, F.: Axiomatic cohesion. Theory Appl. Categ. 19(3), 41\u201349 (2007)","journal-title":"Theory Appl. Categ."},{"key":"9620_CR30","unstructured":"Le Bruyn, L.: Three arithmetic sites, preprint (2020). arXiv:2003.01387"},{"key":"9620_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic, Universitext","author":"SM Lane","year":"1994","unstructured":"Lane, S.M., Moerdijk, I.: Sheaves in Geometry and Logic, Universitext. Springer-Verlag, New York (1994)"},{"key":"9620_CR32","unstructured":"Manin, Y.: Lectures on zeta functions and motives (according to Deninger and Kurokawa), Ast\u00e9risque, no.\u00a0228, 4, 121\u2013163 (1995). In: Columbia University Number Theory Seminar (New York, 1992)"},{"issue":"20","key":"9620_CR33","first-page":"542","volume":"29","author":"M Menni","year":"2014","unstructured":"Menni, M.: Continuous cohesion over sets. Theory Appl. Categ. 29(20), 542\u2013568 (2014)","journal-title":"Theory Appl. Categ."},{"key":"9620_CR34","doi-asserted-by":"crossref","unstructured":"Pirashvili, I.: Topos points of quasi-coherent sheaves over monoid schemes. In: Mathematical Proceedings of the Cambridge Philosophical Society (2019)","DOI":"10.1017\/S0305004119000069"},{"key":"9620_CR35","unstructured":"Rogers, M.: Toposes of discrete monoid actions, preprint (2019). arXiv:1905.10277"},{"key":"9620_CR36","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jnt.2019.11.001","volume":"212","author":"A Sagnier","year":"2020","unstructured":"Sagnier, A.: An arithmetic site at the complex place. J. Number Theory 212, 173\u2013202 (2020)","journal-title":"J. Number Theory"},{"issue":"2","key":"9620_CR37","first-page":"229","volume":"46","author":"M Sedaghatjoo","year":"2017","unstructured":"Sedaghatjoo, M., Khaksari, A.: Monoids over which products of indecomposable acts are indecomposable. Hacet. J. Math. Stat. 46(2), 229\u2013237 (2017)","journal-title":"Hacet. J. Math. Stat."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09620-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-020-09620-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09620-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T13:23:08Z","timestamp":1723987388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-020-09620-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,3]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9620"],"URL":"https:\/\/doi.org\/10.1007\/s10485-020-09620-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,3]]},"assertion":[{"value":"14 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2021","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Funding information was updated","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}