Geometric morphisms between toposes of monoid actions: factorization systems

Jens Hemelaer, Morgan Rogers

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 geo…