We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Category Theory

Title: Geometric morphisms between toposes of monoid actions: factorization systems

Authors: Jens Hemelaer, Morgan Rogers (LIPN)
Abstract: Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties of the semigroup homomorphisms M $\rightarrow$ N or flat-left-N-right-M-sets inducing them. More specifically, we consider properties of geometric morphisms featuring in factorization systems, namely: surjections, inclusions, localic morphisms, hyperconnected morphisms, terminal-connected morphisms, {\'e}tale morphisms, pure morphisms and complete spreads. We end with an application to topos-theoretic Galois theory to the special case of toposes of the form PSh(M).
Subjects: Category Theory (math.CT); Rings and Algebras (math.RA)
Cite as: arXiv:2203.09133 [math.CT]
  (or arXiv:2203.09133v1 [math.CT] for this version)

Submission history

From: Morgan Rogers [view email]
[v1] Thu, 17 Mar 2022 07:20:04 GMT (38kb)

Link back to: arXiv, form interface, contact.