Monoid properties as invariants of toposes of monoid actions
DOI10.1007/s10485-020-09620-yzbMath1471.18004arXiv2004.10513OpenAlexW3107235544MaRDI QIDQ2044554
Publication date: 9 August 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2004.10513
semigrouptoposmonoidprojectivepresheavesflatstrongly connectedlocalstrongly compactcohesivede Morgancolocaltotally connected
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Connections of semigroups with homological algebra and category theory (20M50)
Related Items
Cites Work
- The arithmetic site
- Projective topological spaces
- Regular and exact completions
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- A topological groupoid representing the topos of presheaves on a monoid
- An arithmetic site at the complex place
- An arithmetic topos for integer matrices
- Semigroups with finitely generated universal left congruence
- Singular coverings of toposes
- Geometry of the arithmetic site
- Theories, Sites, Toposes
- Pullback-Flat Acts are Strongly Flat
- Monoids over which products of indecomposable acts are indecomposable
- Notes on commutation of limits and colimits
- THE HOMOLOGICAL FINITENESS PROPERTY FP1 AND FINITE GENERATION OF MONOIDS
- Prime Ideal Structure in Commutative Rings
- Tensor products and preservation of limits, for acts over monoids
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
