  We systematically investigate, for a monoid $M$, how topos-theoretic
properties of $\mathbf{PSh}(M)$, including the properties of being atomic,
strongly compact, local, totally connected or cohesive, correspond to
semigroup-theoretic properties of $M$.
