Monoid Properties as Invariants of Toposes of Monoid Actions-Reference-Cited by-同舟云学术

Monoid Properties as Invariants of Toposes of Monoid Actions

Published:2020-12-03 Issue:3 Volume:29 Page:379-413
ISSN:0927-2852
Container-title:Applied Categorical Structures
language:en
Short-container-title:Appl Categor Struct

Author:

Hemelaer Jens^ORCID,Rogers Morgan^ORCID

Abstract

AbstractWe systematically investigate, for a monoid M, how topos-theoretic properties of

$${{\,\mathrm{\mathbf {PSh}}\,}}(M)$$

PSh ( M ) , including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of M.

Funder

INdAM-DP-COFUND-2015

Universiteit Antwerpen

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science,Algebra and Number Theory

Link

https://link.springer.com/content/pdf/10.1007/s10485-020-09620-y.pdf

Reference37 articles.

1. Adámek, J., Koubek, V., Velebil, J.: A duality between infinitary varieties and algebraic theories. Comment. Math. Univ. Carolin. 41(3), 529–541 (2000)

2. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press, Cambridge (1994)

3. Adámek, J., Rosický, J., Vitale, E.M.: What are sifted colimits? Theory Appl. Categ. 23(13), 251–260 (2010)

4. Bjerrum, M., Johnstone, P., Leinster, T., Sawin, W.F.: Notes on commutation of limits and colimits. Theory Appl. Categ. 30, 527–532 (2015). Paper No. 15

5. Bulman-Fleming, S.: Pullback-flat acts are strongly flat. Can. Math. Bull. 34(4), 456–461 (1991)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sheaf representation of monoidal categories;Advances in Mathematics;2023-03

2. Toposes of Topological Monoid Actions;Compositionality;2023-01-10

3. On a quotient S-set induced by countably infinite decreasing chains;ANNALI DELL'UNIVERSITA' DI FERRARA;2022-10-17

4. An Essential, Hyperconnected, Local Geometric Morphism that is not Locally Connected;Applied Categorical Structures;2021-02-15