Abstract
We systematically investigate, for a monoid M, how topostheoretic properties of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigrouptheoretic properties of M.
Introduction
Let M be a monoid, viewed as a category with one object. The category of right Msets, also called Macts in the semigroup theory literature, is precisely the presheaf topos \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\). Recently, the authors of the present work established representation theorems for toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\); that is, toposes of right Msets for a discrete monoid M. In [35], the second named author showed using topostheoretic methods that any topos with a surjective essential point (equivalently, admitting a monadic and comonadic functor to the topos \(\mathbf {Set}\) of sets) is of this form. The first named author showed in [20] that such a topos can also be represented as the topos of equivariant sheaves on a posetal groupoid.
The topos \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) holds a great deal more structure than the monoid M alone. In particular, it is the natural setting in which to define a great variety of constructions and tools for examining the subtler properties of monoids. Perhaps more significantly, being a Grothendieck topos, the category \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) can be compared, either indirectly through its properties or directly via equivalences or geometric morphisms, to other toposes. Studying these comparisons between toposes in order to get a better understanding of the structures presenting them (in this case discrete monoids) forms the backbone of the ‘toposes as bridges’ philosophy of Caramello [8]. In this paper, we take the indirect approach, investigating correspondences between properties of the representing monoids and wellunderstood properties of the corresponding toposes from the topostheoretic literature. In particular, it was noted in [35] that several important classes of monoid, the representing monoid is unique up to isomorphism. It follows that the properties identifying these classes are Moritainvariant, and should therefore correspond to topostheoretic invariants, some of which we have been able to identify.
The “purely semigrouptheoretic content” of many of the results presented in this article have turned out to be known results, in that after deriving them we discovered references for them in existing literature. However, this is typical when establishing a categorytheoretic approach to any area of mathematics: reproving elementary results in context is a necessary first step in applying topostheoretic machinery, since it illuminates the efficacy and potential for generalisation of this approach. We believe that topos theory will ultimately be a fruitful source of new results in semigroup theory. Reciprocally, monoids shall provide a useful source of examples, properties, constructions and intuition for toposes distinct from the usual geometric and logical perspectives, and simpler than the larger context of presheaf toposes over categories with several objects. We hope this article will achieve our goal of drawing together the research communities in semigroup theory and topos theory.
There has been recent interest in the toposes \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) from a geometrical point of view. Connes and Consani, in their construction of the Arithmetic Site [12, 13], considered the special case where M is the monoid of nonzero natural numbers under multiplication. In this case, the points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) are related to the finite adeles in number theory. Related toposes are studied in [19, 36] and [30]. As mentioned in [20], this geometric study of monoids is inspired by the idea of “algebraic geometry over \({\mathbb {F}}_1\)” [32]. In this philosophy, commutative monoids are thought of as dual to affine \({\mathbb {F}}_1\)schemes, while the topos \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is seen as the topos of quasicoherent sheaves on the space corresponding to the monoid M, see [34].
This paper is organised as follows. In Sect. 1 we recap the necessary topos theory and the relevant content of the papers referenced above, including the functors constituting the global sections geometric morphism which is intrinsic to a Grothendieck topos. This geometric morphism automatically has many restrictive properties in the case of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) for any monoid M, which we establish. We also present a tensorhom description of adjunctions applicable to the components of the geometric morphisms.
In the main body of the paper, Sect. 2, we examine the consequences of additional properties of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) on the monoid M. A great number of properties of geometric morphisms in the topos theory literature are inspired from geometry, since any topological space or locale has an associated Grothendieck topos (its category of sheaves), and the global sections functor of such a topos has properties determined by the properties of the original space; we therefore accompany our exposition for monoids with the parallel analysis for topological spaces, for which results are readily available in the topos theory literature. Our arguments are guided in some cases by the examples of toposes of group actions periodically presented in Johnstone’s reference text [25].
In the Conclusion we explain how future work will extend the results accumulated in this paper. We are aware of some properties of monoids which are expressible in terms of categorical properties of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) but which we have not (yet) been able to express in terms of the global sections morphism; we outline these and some further properties of toposes which we intend to explore. In [35], beyond the characterisation of toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), the stronger result of a 2equivalence between a 2category of monoids and a 2category on the corresponding toposes was demonstrated. We explain how another direction of research will take advantage of this 2equivalence, and how the results obtained in this paper might be relativised.
Background
Toposes of Discrete Monoid Actions
For a reader with a limited background in topos theory, a (by now classical) introductory text is Mac Lane and Moerdijk’s [31]. This in particular includes exercises (at the end of Chapter I, for example) for identifying topostheoretic structures in toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) and more generally in presheaf toposes; we recall some of this structure here. For two right Msets X and Y, we will use the shorthand
to denote the set of morphisms from X to Y.
A topos of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) comes equipped with two geometric morphisms: a canonical point and its global sections morphism.
where the functors not explicitly specified are:

The forgetful functor U sending a right Mset to its underlying set,

The global sections functor \(\Gamma \) sending an Mset X to its set
$$\begin{aligned} {{\,\mathrm{Fix}\,}}_M(X)= {\mathcal {H}}\! om _M(1,X) \end{aligned}$$of fixed points under the action of M,

The constant sheaf functor \(\Delta \) sending a set Y to the same set with trivial Maction,

The connected components functor C sending an Mset X to its set of components under the action of M (that is, to its quotient under the equivalence relation generated by \(x \sim x \cdot m\) for \(x \in X\), \(m \in M\)).
It should also be noted that for a set Y, the Maction on \(\mathrm {Hom}_{\mathbf {Set}}(M{,}Y)\) by \(m \in M\) sends f to \((n \mapsto f(mn))\), while the M action on \(Y \times M\) is by right multiplication on the Mcomponent.
Recall that in general a point of a topos \({\mathcal {E}}\) is a geometric morphism \(\mathbf {Set}\rightarrow {\mathcal {E}}\); a topos is said to have enough points if the inverse images functors of all its points are jointly conservative. The inverse image functor of the canonical point of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is the forgetful functor, which is thus automatically conservative, so every topos of this form has enough points.
While the canonical point is determined by the choice of the presenting monoid M, the global sections geometric morphism is uniquely determined by the topos, so that its properties are automatically Moritainvariant (that is, independent of the choice of presenting monoid). In this paper we shall primarily concern ourselves with analysis of the global sections morphism. Since the inverse image functor \(\Delta \) of this morphism has an (automatically \(\mathbf {Set}\)indexed) left adjoint C, the global sections morphism of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) meets the definition of being locally connected found at the beginning of [25, Section C3.3]. We equivalently say that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is locally connected for any M.
Toposes are cartesian closed, which is to say that for each pair of objects P, Q in a topos \({\mathcal {E}}\) there is an exponential object \(Q^P\) such that for any third object X, we have an isomorphism
natural in X and Q, i.e. the functor \(()^P\) is right adjoint to \( \times P\). In particular, for \(X = Q^P\), the identity map on the right hand side corresponds on the left hand side to the evaluation map
In \({\mathcal {E}}= {{\,\mathrm{\mathbf {PSh}}\,}}(M)\), for two Msets P, Q, the exponential \(Q^P\) has as underlying set \({\mathcal {H}}\! om _M(M\times P,Q)\). The right Maction is defined as
for \(f \in Q^P\), \(m,n \in M\), \(p \in P\) (see [31, I.6]). The evaluation map is then given by
If \(F:{\mathcal {F}}\rightarrow {\mathcal {E}}\) is a functor preserving binary products, then there is a natural comparison morphism
obtained by applying F to the evaluation map (3), and then transposing back across the productexponential adjunction in \({\mathcal {E}}\). If \(\vartheta _{P,Q}\) is a isomorphism for every pair of objects P, Q, then we say that F is cartesianclosed, or that F preserves exponentials. Note that the inverse image functor of a locally connected geometric morphism is always cartesian closed, by [25, Proposition C3.3.1], so that in particular \(\Delta \) is cartesian closed. The condition of cartesianclosedness can be weakened in two directions: either by restricting to a smaller collection of pairs P, Q of objects on which \(\vartheta _{P,Q}\) is required to be an isomorphism, or by asking that \(\vartheta _{P,Q}\) have a property weaker than being an isomorphism. We discuss some cases of the former, applied to the connected components functor C, in Sect. 2.6 and cases of the latter in Sect. 2.10.
Toposes also have subobject classifiers. That is, there is an object \(\Omega _{{\mathcal {E}}}\) in a topos \({\mathcal {E}}\) equipped with a subobject \(\top :1 \hookrightarrow \Omega _{{\mathcal {E}}}\) such that every subobject \(S \hookrightarrow A\), for A an object of the topos, is the pullback of \(\top \) along a unique classifying morphism \(s: A \rightarrow \Omega _{{\mathcal {E}}}\).
The subobject classifier of \({\mathcal {E}}= {{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is the set \(\Omega \) of right ideals of M equipped with the inverse image action for left multiplication, which for a right ideal I and \(m \in M\) is defined by \(I\cdot m = \{m'\in M \mid mm' \in I\}\). The morphism \(\top : 1 \rightarrow \Omega \) identifies \(M \in \Omega \) as the largest ideal of M, so that the subobject S of an object A classified by a morphism \(s: A \rightarrow \Omega \) is the subset of A on the elements a with \(s(a) = M\).
If \(F:{\mathcal {F}}\rightarrow {\mathcal {E}}\) is a functor preserving monomorphisms, then there is a canonical morphism
classifying the subobject \(F(\top )\) of \(F(\Omega _{{\mathcal {F}}})\). F is said to preserve the subobject classifier if \(\chi \) is an isomorphism. The direct image functor of a geometric morphism preserves the subobject classifier if and only if it is hyperconnected, by [25, Proposition A4.6.6(v)]. For the global sections morphism of a Grothendieck topos, this requires the subobject classifier to admit exactly two morphisms from 1, which can be restated as the property that the topos is twovalued, having exactly two subterminal objects. This is true of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\): its terminal object is the oneelement Mset 1, whose only proper subMset is empty. Thus \(\Gamma \) preserves the subobject classifier, and \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is hyperconnected over \(\mathbf {Set}\), for any monoid M.
Finally, if a functor F preserves monomorphisms and finite products, we say F is logical if it preserves the subobject classifier and exponentials. A geometric morphism whose direct image is logical is automatically an equivalence ( [25, A4.6.7]), so \(\Gamma \) is logical if and only if M is trivial; this appears as a condition in Theorem 2.63. We shall see what happens when \(\Delta \) is logical in Theorem 2.4. However, since \(\Delta \) already has so many strong preservation properties for an arbitrary monoid M, always having a left and right adjoint and preserving exponentials, that theorem is the only one we identify in this paper expressed in terms of properties of \(\Delta \).
Several of the properties of toposes we examine are geometric, in the sense that they inherit their names from properties of toposes \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) of sheaves on a topological space (or more generally a locale), X. Accordingly, we supplement most of the definitions in this paper with an illustration of what they mean for toposes of this form. In doing so, it will occasionally benefit us to exploit the equivalence, demonstrated in [31, Corollary II.6.3], between \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) and the category \(\mathbf {LH}/X\) of local homeomorphisms over X , whose objects are local homeomorphisms or étale maps \(E \rightarrow X\), and whose morphisms are continuous maps making the resulting triangle over X commute. Passing through this equivalence, the components of the global sections morphism \(f:{{\,\mathrm{\mathbf {Sh}}\,}}(X) \rightarrow \mathbf {Set}\) acquire new interpretations. \(f_*(\pi : E \rightarrow X)\) is the set of global sections of \(\pi \), i.e. the set of continuous maps \(s : X \rightarrow E\) such that \(\pi \circ s = \mathrm {id}_X\) (this is where the name of this functor comes from for a general topos). \(f^*\) sends a set A to the Afold cover \(\pi _1:X \times A \rightarrow X\) of X. The inverse image functor \(f^*\) has a left adjoint \(f_!\) if and only if X is a locally connected space, in which case \(f_!(\pi :E \rightarrow X)\) is the set of connected components of E, which is where the name of locally connected geometric morphisms originates. Finally, X is connected if and only if \(f^*\) is full and faithful, which is why a geometric morphism with this property is called connected. Since hyperconnectedness of a topos implies connectedness, toposes of monoid actions are connected and locally connected over \(\mathbf {Set}\), whence toposes of sheaves over connected, locally connected spaces are a good source of intuition for their properties. It should be stressed, however, that the global sections morphism of \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is only hyperconnected if X is the onepoint space, so these comparisons can never be realised as equivalences of toposes outside of the case where both the space and monoid are trivial. This is a strength of our propertyoriented approach: it allows us to draw formal comparisons between classes of objects even when their corresponding toposes do not coincide.
As a final note, in our examples we will always talk about the topos \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) of sheaves on a sober topological space X, which means that the points of X correspond bijectively with the points of \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\), and that this topos has enough points. In instances where the requirement of having enough points is not explicitly mentioned, the results can be extended to encompass toposes of sheaves on suitable locales, should the reader desire it.
Tensors and Homs, Flatness and Projectivity
Being a Grothendieck topos, the category of right Msets has all limits and colimits. Since the functor U from (1) preserves both limits and colimits, it follows that colimits and limits can be computed on underlying sets. We will use the following notations:

\(\varnothing \) for the initial object, i.e. the empty right Mset;

1 for the terminal object, i.e. the right Mset with one element;

\(A \sqcup B\) for the coproduct (disjoint union) of two right Msets A and B;

\(\bigsqcup _{i \in I} X_i\) for the coproduct (disjoint union) of a family of right Msets \(\{X_i\}_{i \in I}\);

\(\varinjlim _{i \in I} X_i\) for the colimit of a filtered diagram \(\{X_i\}_{i \in I}\).
HomSets and Projectivity
For a monoid N and two right Nsets A and B, we can consider the homset
so that for fixed B we get a functor \({{\,\mathrm{\mathbf {PSh}}\,}}(N) \rightarrow \mathbf {Set}\). Clearly, the global sections functor \(\Gamma \) of \({{\,\mathrm{\mathbf {PSh}}\,}}(N)\) can be expressed as \({\mathcal {H}}\! om _N(1,)\), for 1 the trivial right Nset, so that properties of \(\Gamma \) can be expressed as properties of this Nset.
Let M be another monoid and suppose that B is additionally equipped with a compatible left Maction, such that
for all \(m \in M\), \(b \in B\) and \(n \in N\) (we will say that B is a leftMrightNset). Then the inverse image action on \({\mathcal {H}}\! om _N(B,A)\) makes it a right Mset, so that \({\mathcal {H}}\! om _N(B,)\) defines a functor \({{\,\mathrm{\mathbf {PSh}}\,}}(N) \rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(M)\).
The following definitions work in any topos, but for clarity we formulate it in our special case of a topos \({{\,\mathrm{\mathbf {PSh}}\,}}(N)\) with N a monoid.
Definition 1.1
Let B be a right Nset, and consider the functor \({\mathcal {H}}\! om _N(B,): A \mapsto {\mathcal {H}}\! om _N(B,A)\). Then we say that B is:

connected or indecomposable if \({\mathcal {H}}\! om _N(B,)\) preserves arbitrary (small/setindexed) coproducts;

projective if \({\mathcal {H}}\! om _N(B,)\) preserves epimorphisms;

finitely presentable if \({\mathcal {H}}\! om _N(B,)\) preserves filtered colimits.
The definitions for left Nsets are analogous.
Every right Mset can be written as the disjoint union of its connected components. Further:
Proposition 1.2
Let X be a right Mset. Then the following are equivalent:

1.
X is connected/indecomposable;

2.
\({\mathcal {H}}\! om _M(X,)\) preserves binary coproducts;

3.
X is nonempty, and \(X \cong X_1 \sqcup X_2\) implies that either \(X_1\) is empty or \(X_2\) is empty;

4.
\(C(X)=1\), with C the connected components functor of (1).
Proof
This can be shown as an exercise, but it also follows from more general results in topos theory, as follows. The equivalences (\(1 \Leftrightarrow 2 \Leftrightarrow 3\)) hold in any infinitary extensive category by [23, Theorem 2.1]. Grothendieck toposes are infinitary extensive, see e.g. [9, §4.3]. The equivalence \((3 \Leftrightarrow 4)\) holds for locally connected Grothendieck toposes, and is discussed around [25, Lemma C3.3.6]. \(\square \)
In particular, the empty set is not indecomposable. Note that in the semigroup literature, Msets are sometimes assumed to be nonempty by definition, see e.g. [26]. We will not follow this convention, because it prevents the category of right Msets from being a topos.
A right Mset will be called free if each connected component is isomorphic to M (with right Maction given by multiplication). Free and projective right Msets are related in the following way:
Proposition 1.3
For M a monoid and P a right Mset, the following are equivalent:

1.
P is projective;

2.
P is a retract of a free right Mset;

3.
\(P \cong \bigsqcup _{i \in I} e_i M\) for some family \(\{e_i\}_{i \in I}\) of idempotents in M.
Proof
See e.g. [26, III, 17]. \(\square \)
We should note that the topostheoretic definition of finite presentability agrees with the one from universal algebra:
Proposition 1.4
(Cf. [2, Corollary 3.13]) A right Mset X is finitely presentable if and only if we can write X as the colimit of a diagram
for some finitely generated free right Msets F and \(F'\) and morphisms a, b.
Tensors and Flatness
Consider a right Mset A and a left Mset B. Recall that the tensor product of A and B over M is defined as the set:
where \(\sim \) is the equivalence relation generated by
for all \(a \in A\), \(b \in B\) and \(m \in M\). The equivalence class of a pair (a, b) is denoted by \(a \otimes b\). An alternative expression for the connected components functor is \(C(X) = X \otimes _M 1\), where 1 is the trivial left Mset. Thus properties of C can be expressed as properties of this trivial left Mset; later in this section we shall establish the terminology we will use for these properties. More generally, suppose that there is a monoid N and a compatible right Naction on B, as in (10) above. Then \(A \otimes B\) inherits a right Naction from B, defined by \((a \otimes b) \cdot n = a \otimes (b \cdot n)\).
As in ring theory, the functor \(\otimes _M B\) is left adjoint to \({\mathcal {H}}\! om _N(B,)\), for B a set with compatible left Maction and right Naction.
Proposition 1.5
Let M and N be monoids. Any leftMrightNset B induces an adjunction:
Conversely, any adjunction between these categories (in this direction) has this form for some leftMrightNset B.
Proof
For X a right Mset and Y a right Nset, the isomorphism \({\mathcal {H}}\! om _M(Y \otimes _M B, X) \cong {\mathcal {H}}\! om _N(Y, {\mathcal {H}}\! om _N(B,X))\) sends h in the former to the mapping \(y \mapsto (b \mapsto h(y \otimes b))\). It is easy to check that this is welldefined, and has inverse mapping k to \(y \otimes b \mapsto k(y)(b)\).
Conversely, given \(F:{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(N)\) having a left adjoint, B is given by F(M), with left Maction induced by the left Maction on M. \(\square \)
Definition 1.6
Let B be a nonempty left Mset, and let \(F : {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) be the functor \(A \mapsto A \otimes _M B\). By Proposition 1.2, F preserves the terminal object if and only if B is indecomposable. F preserves arbitrary limits if and only if it is indecomposable projective (this follows from e.g. [35, Section 4]). More generally, we say that B is:

monomorphismflat if F preserves monomorphisms.

finitely productflat if F preserves finite products.

productflat if F preserves products.

equalizerflat if F preserves equalizers.

pullbackflat if F preserves pullbacks.

flat if F preserves finite limits.
The definitions for right Msets are analogous.
It is very important to note that this naming system differs from the naming conventions in semigroup theory literature, notably that of BulmanFleming and Laan in [6]. Our terminology is the same when it comes to ‘finitely productflat’, ‘equalizerflat’ and ‘pullbackflat’. However, what we call ‘monomorphismflat’ is called ‘flat’ in their paper. Our justification for this departure is that our naming system aligns more closely with that in the category theory literature. More precisely:
Definition 1.7
[31, VII.6, Definition 2] Recall that a functor \(F: {\mathcal {C}}\rightarrow \mathbf {Set}\) is called flat (or filtering) if:

1.
\(F(C)\ne \varnothing \) for some object C of \({\mathcal {C}}\);

2.
for elements \(a \in F(A)\) and \(b \in F(B)\) there is an object C, morphisms \(f : C \rightarrow A\) and \(g : C \rightarrow B\), and an element \(c \in F(C)\) such that \(F(f)(c) = a\) and \(F(f)(c) = b\);

3.
for morphisms \(f,g : B \rightarrow A\) in \({\mathcal {C}}\) and \(b \in F(B)\) such that \(F(f)(b) = F(g)(b)\), there is a morphism \(h : C \rightarrow B\) and an element \(c \in F(C)\) such that \(fh = gh\) and \(F(h)(c) = b\).
We then have the following correspondence between our definition of flatness for Msets and the notion of flatness for functors.
Proposition 1.8
Consider a monoid M and a left Mset B. The following are equivalent.

1.
B is flat, i.e. \( \otimes _M B : {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) preserves finite limits.

2.
B is flat as a functor \(M \rightarrow \mathbf {Set}\).

3.
\( \otimes _M B\) is the inverse image part of a point: a geometric morphism \(\mathbf {Set}\rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(M)\).
When B is equipped with a right Naction, we can replace \(\mathbf {Set}\) with \({{\,\mathrm{\mathbf {PSh}}\,}}(N)\) in this statement.
Proof
(\(1 \Leftrightarrow 2\)) See e.g. [31, VII, Theorem 3].
(\(2 \Leftrightarrow 3\)) This appears as [31, Theorem VII.7.2], an extension of which is also referred to as Diaconescu’s theorem by Johnstone in [25, Theorem B3.2.7]. \(\square \)
Flat left Msets don’t just give us the points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\); by considering the value of these functors at M, we see that the natural transformations
correspond bijectively to the morphisms of left Msets \(B \rightarrow B'\). Moreover, the essential points, for which the inverse image functor has a left adjoint, correspond by [35, Section 4] to the indecomposable projective left Msets, which are indexed by the idempotents of M. In summary:
Corollary 1.9
The category of points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is equivalent to the category of flat left Msets and left Mset homomorphisms; the full subcategory of essential points is equivalent to the full subcategory on the indecomposable projective left Msets.
It follows from the definitions that, for example, flat left Msets are pullbackflat. However, other interactions between the different notions of flatness are not so clear. We present some general facts which simplify the situation. These are (by now) wellknown in category theory literature thanks to authors such as Freyd and Scedrov in [15], but were reached independently by semigroup theorists such as BulmanFleming in [5]. We reproduce proofs here anyway.
Proposition 1.10
Let \(F: {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(N)\) be a functor. Then:

1.
Suppose that F is nontrivial (i.e. \(F(A) \ne \varnothing \) for at least one A). If F preserves binary products, then it also preserves the terminal object; thus in order for a left Mset B to be finitely productflat, it suffices that \(B \ne \varnothing \) and \( \otimes _M B\) preserves binary products.

2.
If F preserves pullbacks, then it also preserves equalizers, so a pullbackflat object is equalizerflat.

3.
If F preserves pullbacks and the terminal object, then it preserves all finite limits, so an object is flat if and only if it is indecomposable and pullbackflat.
Proof

1.
If F preserves binary products, then in particular the natural map
$$\begin{aligned}&F(1 \times 1) \longrightarrow F(1)\times F(1) \\&x \mapsto (x,x) \end{aligned}$$is an isomorphism. Surjectivity shows that F(1) has at most one element. If \(F(1) \simeq \varnothing \) then F is trivial, so \(F(1) \simeq 1\) is a singleton.

2.
This is a special case of [15, Chapter 1, § 1.439]. Suppose that F preserves pullbacks, and consider a diagram
Then we can rewrite the equalizer E of this diagram as a pullback:
where \(\delta \) is the diagonal map. Pullbacks are preserved by F, so
is a composite of pullback squares; the right hand one being a pullback is a consequence of the fact that the diagonal \(\delta \) of F(B) in \({{\,\mathrm{\mathbf {PSh}}\,}}(N)\) factors through \(F\delta \) by the universal property of \(F(B) \times F(B)\). It follows that F(E) can be identified with the equalizer of the diagram
so F preserves equalizers.

3.
Suppose that F preserves pullbacks and the terminal object. A binary product can be seen as a pullback over the terminal object, so F preserves binary products (and in fact all finite products). Moreover, F preserves equalizers by (2). Any functor preserving finite products and equalizers preserves all finite limits, by a similar argument to the above after expressing a given finite limit as an equalizer of morphisms between finite products.
\(\square \)
In the category of sets, since arbitrary coproducts are pseudofiltered in the sense of [4], they commute with connected limits, such as pullbacks and equalizers. The same holds in the category of Msets for M a monoid, since colimits and limits are computed on underlying sets. So we get the following:
Corollary 1.11
(cf. [26, III.3.9]) Let \(B = \bigsqcup _{i \in I} B_i\) be a right Mset, with each \(B_i\) indecomposable. Then:

1.
B is equalizerflat if and only if \(B_i\) is equalizerflat for all \(i \in I\);

2.
B is pullbackflat if and only if \(B_i\) is pullbackflat for all \(i \in I\).
Since each of the \(B_i\) is indecomposable, it follows that B is pullbackflat if and only if \(B_i\) is flat for all \(i \in I\), so that pullbackflat Msets are precisely the Msets that can be written as disjoint unions of flat Msets.
Properties of the Global Sections Morphism
Groups and Atomicity
The first property we study is expressed in terms of the logical structure of the toposes involved.
Definition 2.1
(Cf. [25, C3.5]) A geometric morphism is atomic if its inverse image functor is logical. For a general geometric morphism this implies local connectedness. We say a Grothendieck topos is atomic if its global sections geometric morphism to \(\mathbf {Set}\) is.
For Grothendieck toposes with enough points, atomicity coincides with a property of the internal logic of the topos.
Definition 2.2
A topos \({\mathcal {E}}\) is Boolean if its subobject classifier is an internal Boolean algebra, or equivalently if every subobject of an object of \({\mathcal {E}}\) has a complement.
Example 2.3
For a sober topological space X, \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) has enough points, so we have by [25, Lemma C3.5.3] that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is atomic if and only if it is Boolean, if and only if X is a discrete topological space.
As already observed in [35, Corollary 7.3], we have the following:
Theorem 2.4
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be Boolean) Let M be a monoid. The following are equivalent.

1.
\({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is atomic.

2.
\(\Delta \) preserves the subobject classifier

3.
M is a group.

4.
\({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is Boolean.
Proof
(\(1 \Leftrightarrow 2\)) By definition, since we have already seen that \(\Delta \) preserves exponentials.
(\(2 \Rightarrow 3\)) The subobject classifier in \(\mathbf {Set}\) is the two element set, often denoted \(\Omega = \{\top ,\bot \}\) so that the canonical subobject is the inclusion of the singleton \(\{\top \}\). But then \(\Omega \cong 1\sqcup 1\), and so the subobject classifier is preserved by \(\Delta \) if and only if \(\Omega _{{{\,\mathrm{\mathbf {PSh}}\,}}(M)}\) has an underlying set with two elements, which forces every principal ideal in M to contain the identity element (since the ideal must be all of M), and hence every element of M has a right inverse, making M a group.
(\(3 \Rightarrow 4\)) If M is a group, every subobject of an Mset is a union of orbits; the remaining orbits form the complementary subobject.
(\(4 \Leftrightarrow 1\)) Since \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) has enough points (having a canonical surjective point), by [25, Corollary C3.5.2] being Boolean is equivalent to being atomic over \(\mathbf {Set}\). \(\square \)
It should be noted that many of the remaining properties explored in this paper either trivially hold for groups or are incompatible with the property of being a group (for example, a group with any kind of absorbing element is automatically trivial).
RightFactorable Finite Generation and Strong Compactness
A Grothendieck topos is called compact if its geometric morphism to \(\mathbf {Set}\) is proper, which is to say that it preserves filtered colimits of subterminal objects. Since any hyperconnected geometric morphism is proper (cf. [25, C3.2.13]), \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is always compact. However, the stronger notion of being strongly compact is not always satisfied.
Definition 2.5
A Grothendieck topos \({\mathcal {E}}\) is called strongly compact if its global sections functor \(\Gamma = \mathrm {Hom}_{{\mathcal {E}}}(1,)\) preserves filtered colimits. More generally, a geometric morphism \(f : {\mathcal {F}}\rightarrow {\mathcal {E}}\) is called relatively tidy if \(f_*\) preserves filtered colimits. Thus a Grothendieck topos is strongly compact if and only if the global sections geometric morphism is relatively tidy.
Remark 2.6
A geometric morphism is tidy if \(f_*\) preserves \({\mathcal {E}}\)indexed filtered colimits. A tidy geometric morphism between Grothendieck toposes is in particular relatively tidy. The notion of tidiness is more standard than that of relative tidiness, but relative tidiness is easier to characterize in our setting, see Corollary 2.17. Moreover, tidiness and relative tidiness coincide for geometric morphisms to \(\mathbf {Set}\).
Example 2.7
For a topological space X, \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is a compact topos if and only if X is a compact space in the usual sense. In [25, Example C3.4.1(a)], Johnstone gives an example of a compact space X such that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is not strongly compact: X consists of two copies of the unit interval [0, 1] with the respective copies of the open interval (0, 1) identified, as sketched below.
On the other hand, if X is a spectral space or coherent space^{Footnote 1} (in the terminology of Hochster [21] or Johnstone [25] respectively), having a base of compact open sets stable under finite intersections, then \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is strongly compact by [25, Proposition C4.1.13 and Corollary C4.1.14]. In particular, \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is strongly compact if X is a zerodimensional compact Hausdorff space or if X is the Zariski spectrum of a commutative ring. More generally, Johnstone shows in [25, Corollary C4.1.14] that any compact Hausdorff space is strongly compact.
In the case where M is a group, we have the following result, which appears in [25, Example C3.4.1(b)]:
Proposition 2.8
For G a group, the topos \({{\,\mathrm{\mathbf {PSh}}\,}}(G)\) is strongly compact if and only if G is finitely generated.
We will need the following definitions in our characterisation of the monoids M such that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly compact.
Definition 2.9
Let M be a monoid, and let \(S \subseteq M\) be a subset. We say that S is rightfactorable if whenever \(x \in S\) and \(y \in M\) with \(xy \in S\), we have \(y \in S\). Dually, we may call a subset \(S \subseteq M\) leftfactorable if whenever \(x \in M\) and \(y \in S\) with \(xy \in S\), we have \(x \in S\).
The above definitions are related to the twooutofthree property in category theory, in the sense that if we view M as a category with one object, then a submonoid of M has the twooutofthree property precisely if it is both rightfactorable and leftfactorable. If M is a commutative, cancellative monoid, then a submonoid \(S \subseteq M\) is rightfactorable (or equivalently, leftfactorable) if and only if S is a saturated monoid in the sense of Geroldinger and HalterKoch [16], i.e. \(S = {\mathbf {q}}(S) \cap M\), where \({\mathbf {q}}(S)\) denotes the groupification of S.
If \((M_i)_i\) is a family of rightfactorable subsets of M, then the intersection \(\bigcap _{i} M_i\) is also rightfactorable (and similarly for families of leftfactorable subsets). So we can define the following:
Definition 2.10
(See also [27, Section 2]) Let M be a monoid, and \(S \subseteq M\) a nonempty subset. As is standard, we write \(\langle S \rangle _M\) for the submonoid of M generated by S. We define \(\langle {S}\rangle \rangle _M\) to be the smallest rightfactorable subset of M that contains S, and call this the rightfactorable submonoid generated by S; the extra bracket on the right is intended to evoke the asymmetric extra property this submonoid satisfies compared with \(\langle S \rangle _M\). We say that S rightfactorably generates M if \(\langle {S}\rangle \rangle _M = M\). We call M rightfactorably finitely generated if there is a finite subset \(S \subseteq M\) such that S rightfactorably generates M. Dually, we can define \(\langle \langle {S}\rangle _M\) to be the leftfactorable submonoid generated by S, i.e. the smallest leftfactorable submonoid containing S.
The properties of being rightfactorable and rightfactorably finitely generated appear in the semigroup literature under the name left unitary and left unitarily finitely generated see e.g. [22, p. 63], [26, Definition 4.38]. We prefer to employ terms which convey the elementary notion in terms of elements of the monoid, viewed as morphisms.
The submonoid rightfactorably generated by any subset can be computed inductively; a functionally identical construction is given by Kobayashi in [27, before Proposition 2.4].
Lemma 2.11
Given an nonempty subset \(S = S_0 \subseteq M\), inductively define for \(i \in {\mathbb {N}}\) the subset \(S_{i+1}\subseteq M\) to be \(\{m \in M \mid \exists t \in \langle S_i \rangle _M, \, tm \in \langle S_i \rangle _M\}\). Then \(\langle S \rangle \rangle _M\) is precisely the subset \(\bigcup _{i \in {\mathbb {N}}} S_i\).
Proof
We show first inductively that \(S_i \subseteq \langle S \rangle \rangle _M\) for each i. By definition, \(S_0 \subseteq \langle S \rangle \rangle _M\). Given that \(S_{i1} \subseteq \langle S \rangle \rangle _M\), to be closed under composition, \(\langle S \rangle \rangle _M\) must certainly contain \(\langle S_{i1} \rangle _M\). It follows from the definition of \(S_i\) that any rightfactorable subset containing \(S_{i1}\) must contain \(S_i\), as claimed.
Conversely, \(\bigcup _{i \in {\mathbb {N}}} S_i\) is rightfactorable: given x, y in the union, they are both contained in some \(S_i\) for some sufficiently large index i, and hence \(xy \in S_{i+1} \subseteq \bigcup _{i \in {\mathbb {N}}} S_i\). Similarly, given \(t \in S_i\), \(m \in M\), with \(tm \in \bigcup _{i \in {\mathbb {N}}} S_i\), we have \(tm \in S_j\) for some \(j \ge i\), and hence \(m \in S_{j+1}\). Thus we are done. \(\square \)
Remark 2.12
If \(S_0\) is a subset, or more particularly a submonoid, satisfying the left Ore condition (the dual of Definition 2.31 below), we find that \(S_2 = S_1\): for \(m \in S_2\) we have \(t = t_1 \cdots t_k\) and \(s = s_1 \cdots s_l\) in \(\langle S_1 \rangle _M\) such that \(tm = s\) and moreover \(x_1, \dotsc , x_k\), \(y_1, \dotsc , y_l\) in \(S_0\) with \(x_it_i\) and \(y_js_j\) in \(\langle S_0 \rangle _M\) for each i and j. The left Ore condition allows us to inductively construct from these an element \(z \in S_0\) such that zs and zt are both members of \(\langle S_0 \rangle _M\), whence \(m \in S_1\). Thus the construction described in Lemma 2.11 terminates after a single step.
Lemma 2.13
Let \(S \subseteq M\) be a nonempty subset and let \(\sim _S\) be the right congruence generated by the relations \(x \sim 1\) for \(x \in S\). Then:
Proof
\(\subseteq \). It is enough to show that \(\{ m \in M : m \sim _S 1 \}\) is a rightfactorable submonoid. If \(m \sim _S 1\) and \(m' \sim _S 1\) then \(mm' \sim _S m'\), and by transitivity \(mm' \sim _S 1\). Further, if \(m \sim _S 1\) and \(mm' \sim _S 1\) then \(mm' \sim _S m'\) so it follows that \(m' \sim _S 1\).
\(\supseteq \). Take \(m \in M\). If \(m \sim _S 1\) then there must be some onestep relation of the form \(m' \sim xm'\) with \(xm' \in \langle {S}\rangle \rangle _M\) and \(m' \notin \langle {S}\rangle \rangle _M\) or \(xm' \notin \langle {S}\rangle \rangle _M\) and \(m' \in \langle {S}\rangle \rangle _M\). Both cases lead to a contradiction. \(\square \)
With the above definitions, it is possible to generalise Proposition 2.8 to arbitrary monoids M, by adapting Johnstone’s proof [25, C3.4.1(b)].
Theorem 2.14
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be strongly compact) For a monoid M, the following are equivalent:

1.
\(\Gamma \) preserves filtered colimits, i.e. \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly compact.

2.
The terminal right Mset 1 is finitely presentable.

3.
M is rightfactorably finitely generated.
Proof
(\(1 \Leftrightarrow 2\)) Note that \(\Gamma = {\mathcal {H}}\! om _M(1,)\). The equivalence is then by definition, see Definition 1.1. See also Proposition 1.4 which states that the topostheoretic and algebraic definitions of “finitely presentable” agree.
(\(1 \Rightarrow 3\)) For \(S \subseteq M\) a finite subset, let \(\sim _S\) be the right congruence as defined in Lemma 2.13. Clearly \(1 = \varinjlim _S M/\!\!\sim _S\,\), where we take the filtered colimit over all finite subsets of M. Now consider the comparison map
If \(\Gamma \) preserves filtered colimits, then in particular \(\beta \) is an isomorphism. By surjectivity of \(\beta \), \(M/\sim _S\) has a fixed point for some finite subset S of M, we will denote it by [a] for some representative \(a \in M\). Its projection in \(M/\!\!\sim _{S'}\) is again a fixpoint for \(S' = S\cup \{a\}\). Now [1] is a fixpoint in \(M/\!\!\sim _{S'}\). But this means that \(m \sim _{S'} 1\) for all \(m \in M\). By Lemma 2.13, \(S'\) rightfactorably generates M.
(\(3 \Rightarrow 1\)) Take a finite subset \(S \subseteq M\) such that \(\langle {S}\rangle \rangle _M = M\). Consider a filtered colimit \(\varinjlim _i S_i\) of right Msets \(S_i\). We have to show that the natural map
is a bijection. Injectivity is immediate from filteredness, so we prove surjectivity. Take an element x in \(\Gamma (\varinjlim _i S_i)\). Let x be represented by an element \(x_i \in S_i\). For each \(s \in S\), we can find an index j and a structure morphism \(\phi _{ji} : S_i \rightarrow S_j\) such that \(\phi _{ji}(xs) = \phi _{ji}(x)\). Since S is finite we can find a common index k such that \(\phi _{ki}(xs) = \phi _{ki}(x)\) for all \(s \in S\). Since \(\phi _{ki}(x)\) is fixed by all \(s \in S\), it is also fixed by all elements of \(\langle {S}\rangle \rangle _M = M\): indeed, employing the inductive construction of Lemma 2.11, if x is fixed by \(S_i\), then it is fixed by \(\langle S_i \rangle _M\), and given \(m \in M\), \(t \in \langle S_i \rangle _M\) with \(tm \in \langle S_i \rangle _M\), we have \(xm = xtm = x\), so x is fixed by \(S_{i+1}\), and hence inductively by \(\bigcup _{i \in {\mathbb {N}}} S_i = M\). So x is represented by an element of \(\Gamma (S_k)\). \(\square \)
The (dual of the) equivalence (\(2 \Leftrightarrow 3\)) appears in the semigroup theory work of Dandan, Gould, Quinn–Gregson and Zenab [14, Theorem 3.10], amongst some other equivalent conditions.
Example 2.15
If M has a rightabsorbing element r in the sense of Definition 2.20 then M is rightfactorably generated by \(\{r\}\) (since \(r\cdot m = r\) for all \(m \in M\)). In particular M is rightfactorably finitely generated, so \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly compact. Given a nonempty set S, the monoid \(M={{\,\mathrm{End}\,}}(S)\) of (total) functions \(S \rightarrow S\) has a rightabsorbing element for each element \(s \in S\) given by the constant function at s, so M is rightfactorably finitely generated by the above.
Example 2.16
We already saw that for a group G, the topos \({{\,\mathrm{\mathbf {PSh}}\,}}(G)\) is strongly compact if and only if G is finitely generated. We can use this to produce some more examples of monoids M such that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is not strongly compact. Let G be a group and let \(M \subseteq G\) be a submonoid such that
Note that \(\langle {M}\rangle \rangle _G = G\). Now if \(S \subseteq M\) is a finite set rightfactorably generating M, then \(\langle {S}\rangle \rangle _G\) contains M and is closed under right factors in G, so \(\langle {S}\rangle \rangle _G = G\). It follows that G is finitely generated. Therefore, for the following monoids M the topos \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is not strongly compact:

The monoid \({\mathbb {N}}^{\times }\) of nonzero natural numbers under multiplication;

The monoid \(R\{0\}\) for R an infinite commutative ring without zerodivisors (noting that finitely generated fields are finite);

The monoid of nonsingular \(n\times n\) matrices over R, for R an infinite commutative ring without zero divisors.
The topos \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathbb {N}}^{\times })\) is (the underlying topos of) the Arithmetic Site by Connes and Consani [12]. It follows that this topos is not strongly compact. In [13], the monoid \({\mathbb {N}}^{\times }_0 = {\mathbb {N}}^{\times } \cup \{0\}\) is considered as well, and in this case the topos \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathbb {N}}^{\times }_0)\) is strongly compact, by Example 2.15.
Note that the equivalence (\(1 \Leftrightarrow 2\)) in Theorem 2.14 directly generalises to geometric morphisms \(f: {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(N)\) induced by a tensorhom adjunction as in Proposition 1.8. So we have the following equivalence:
Corollary 2.17
Let M and N be monoids, and let B be a leftMrightNset. Suppose that the action of M is flat, so that the adjunction induced by B is a geometric morphism \(f : {{\,\mathrm{\mathbf {PSh}}\,}}(N) \rightarrow {{\,\mathrm{\mathbf {PSh}}\,}}(M)\). Then f is relatively tidy if and only if B is finitely presented as right Nset.
Right Absorbing Elements and Localness
The properties that we explore in this subsection are derived from the concept of localness.
Definition 2.18
(see [25, C3.6]) A Grothendieck topos is called local if its global sections functor has a right adjoint. More generally, a geometric morphism \(f: {\mathcal {F}}\rightarrow {\mathcal {E}}\) is local if its direct image functor \(f_*\) has an \({\mathcal {E}}\)indexed right adjoint.
To get some geometrical intuition for this concept, we mention the following criterion for localness for the topos of sheaves on a topological space.
Proposition 2.19
(Cf. [25, C1.5, pp. 523]) Let X be a sober topological space. Then the following are equivalent:

1.
X has a focal point, i.e. a point such that the only open set containing it is X itself; being sober makes such a point unique if it exists.

2.
\({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is a local topos.
In particular, if R is a commutative ring then the topos of sheaves on \(\mathrm {Spec}(R)\) (with the Zariski topology) is a local topos if and only if R has a unique maximal ideal, or in other words if and only if R is a local ring.
Definition 2.20
An element m of a monoid M is called right absorbing if it absorbs anything on its right, so \(mn=m\) for all elements \(n \in M\); left absorbing elements are defined dually. An element which is both left and right absorbing is called a zero element, because the 0 of a commutative ring has this property in the ring’s multiplicative monoid. This final case is of the broadest interest, but since left and right absorbing elements manifest themselves very differently in \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), we study them independently. Note that if a monoid has both left absorbing element l and a right absorbing element r, then \(l=r\) is a zero element (which is automatically unique).
This convention of handedness of absorbing elements is somewhat arbitrary, since one could alternatively take ‘right absorbing’ to mean ‘absorbs all elements when multiplied on the right’. Both conventions appear in semigroup and semiring literature; we follow [18].
A result allowing us to compare \(\Gamma \) and C which we have not yet had cause to introduce is the following, appearing in a more general form in Johnstone’s work [24, Corollary 2.2(a)]:
Lemma 2.21
Let \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) be a connected essential geometric morphism, so the unit \(\eta \) of \((f^* \dashv f_*)\) and the counit \(\delta \) of \((f_! \dashv f^*)\) are isomorphisms. Write \(\epsilon \) for the counit of the former and \(\nu \) for the unit of the latter adjunction. Then there is a canonical comparison natural transformation \(\alpha :f_* \rightarrow f_!\) which can be expressed as either \(f_!\epsilon \circ (\delta _{f_*})^{1}: f_* \rightarrow f_!f^*f_* \rightarrow f_!\) or as \((\eta _{f_!})^{1} \circ f_*\nu : f_* \rightarrow f_*f^*f_! \rightarrow f_!\).
A more concrete description of this transformation \(\alpha :\Gamma \rightarrow C\) for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is that it sends a fixed point of a right Mset X to the connected component of X containing it.
From the same paper, we obtain the following term.
Definition 2.22
A connected, locally connected geometric morphism is said to be punctually locally connected if the natural transformation of Lemma 2.21 is epic. A connected, locally connected topos is called punctually locally connected if the global sections geometric morphism is punctually locally connected, which can be interpreted in the case of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) as the statement ‘every component has at least one fixed point’.
In [28], Lawvere and Menni call a geometric morphism precohesive if it is local, hyperconnected and essential, such that \(f_!\) preserves finite products; it was shown in [24] that the global sections geometric morphism of a Grothendieck topos satisfies these properties if and only if it is punctually locally connected.
Remark 2.23
Unlike many of the other properties in this paper, punctual local connectedness is not a geometric property: as shown in [24, Proposition 1.6], it forces a connected, locally connected geometric morphism to be hyperconnected, which means that the only sober space X with \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) punctually locally connected is the onepoint space.
Lemma 2.24
Suppose M is a monoid with a right absorbing element r. Then for any right Mset A, we have \(\Gamma (A) = Ar\).
Proof
Clearly any element of A of the form ar with \(r \in R\) is fixed by the action of M. Conversely, if a is fixed by the action of M then \(ar = a\) for any \(r \in R\). Thus every fixed point is in Ar. \(\square \)
Theorem 2.25
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be local) Let M be a monoid, \(\Gamma :{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) the global sections functor, \(C:{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) the connected components functor and \(\alpha :\Gamma \rightarrow C\) the natural transformation of Lemma 2.21. The following are equivalent:

1.
M has a right absorbing element.

2.
\(\Gamma \) preserves epimorphisms, i.e. the right Mset 1 is projective.

3.
\(\Gamma \) has a right adjoint, \(\gamma \). That is, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is local over \(\mathbf {Set}\).

4.
\(\alpha :\Gamma \rightarrow C\) is epic. That is, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is punctually locally connected (equivalently, precohesive).

5.
C is full.

6.
\(\Gamma \) reflects the initial object, i.e. every nonempty right Mset has a fixed point.

7.
The category of points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) has an initial object.
Proof
(\(1 \Leftrightarrow 2\)) Since 1 is indecomposable, it is projective if and only if there is an idempotent \(e \in M\) such that \(1 = eM\), but the latter equality holds if and only if e is a right absorbing element.
(\(2 \Leftrightarrow 3\)) \(\Gamma = {\mathcal {H}}\! om _M(1,)\) has a right adjoint if and only if it preserves colimits, by the Special Adjoint Functor Theorem. This is the case if and only if 1 is (indecomposable) projective.
(\(2 \Rightarrow 4\)) Since this geometric morphism is hyperconnected and locally connected, it is punctually locally connected if (and only if) \(\Gamma \) preserves epimorphisms, by [24, Lemma 3.1(ii)]. Alternatively, for X a right Mset, observe that the unit \(X \rightarrow \Delta C(X)\) is epic. If \(\Gamma \) preserves epimorphisms, then in particular \(\Gamma (X) \rightarrow \Gamma \Delta C(X) \cong C(X)\) is an epimorphism.
(\(4 \Leftrightarrow 5\))\({}^*\) By the axiom of choice, any epimorphism in \(\mathbf {Set}\) (in particular any component of \(\alpha \)) splits. Given a function \(g:C(X) \rightarrow C(Y)\), we therefore obtain a morphism \(X \rightarrow Y\) lifting g by sending every \(x \in X\) to the fixed point \(\alpha _Y^{1}\circ g([x])\), where \(\alpha _Y^{1}:C(Y) \rightarrow \Gamma (Y)\) is a splitting for \(\alpha _Y\) and [x] is the connected component of X containing x, so C is full. Conversely, by standard adjunction arguments, C is full if and only if the unit \(\nu \) of the adjunction \((C \dashv \Delta )\) is componentwise a split epimorphism. C being full therefore makes each component of \(\nu \), and hence of \(\Gamma \nu \) and \(\alpha = (\eta _{C})^{1} \circ \Gamma \nu \) a split epimorphism.
(\(4 \Rightarrow 6\)) Since C reflects the initial object by inspection, \(\alpha :\Gamma \rightarrow C\) being an epimorphism ensures that \(\Gamma (X)\) is nonempty whenever C(X) is.
(\(6 \Rightarrow 1\)) Consider M as a right Mset under multiplication.
(\(3 \Rightarrow 7\)) This holds for any topos by [25, C3.6, Theorem 3.6.1].
(\(7 \Rightarrow 1\)) Let A be an initial object in the category of points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), i.e. in the category of flat left Msets. Let \(f : A \rightarrow M\) be the unique morphism to M. Note that flatness implies indecomposability, so in particular A is nonempty. This means we can take a morphism \(g: M \rightarrow A\). Because A is initial, gf is the identity, so A is a retract of M, i.e. \(A = Me\) for some idempotent \(e \in M\). The morphisms of left Msets \(Me \rightarrow M\) correspond to the elements of eM, so if A is initial, then e is right absorbing. \(\square \)
The equivalence between conditions (1) and (8) of Theorem 2.25 is shown by BulmanFleming and Laan in [6, Corollary 3.6], and by Kilp et al. in [26, Proposition III.17.2(4)]. As the proof suggests, several of the conditions are shown to be general consequences of one another in [24].
Remark 2.26
In the above theorem, we could replace (3) with the statement \(\Gamma \) preserves pushouts, or coequalizers, or reflexive coequalizers. Indeed, because 1 is indecomposable, \(\Gamma = {\mathcal {H}}\! om _M(1,)\) preserves coproducts, so if it preserves pushouts then it also preserves coequalizers (in particular reflexive coequalizers). Conversely, any epimorphism can be written as a reflexive coequalizer, so if \(\Gamma \) preserves reflexive coequalizers then it preserves epimorphisms as well.
The Right Ore Condition, Preservation of Monomorphisms and de Morgan Toposes
We can view the preceding sections as investigations of ‘projectivity’ properties of the terminal right Mset, which generally corresponded to properties of \(\Gamma \). We move on in this section to the examination of the ‘flatness’ properties of terminal right Mset, corresponding to properties of C. The first and weakest of these is monomorphismflatness of the terminal left Mset; one equivalent property to this is the dual of one from the last section:
Definition 2.27
Dualising Definition 2.22, we say a connected, locally connected geometric morphism f is copunctually locally connected if the natural transformation \(\alpha \) of Lemma 2.21 is a monomorphism. A Grothendieck topos is called copunctually locally connected if the global sections geometric morphism is copunctually locally connected, which can be interpreted in the case of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) as ‘every component has at most one fixed point’.
Example 2.28
Like punctual local connectedness, copunctual local connectedness is not a geometric property. Suppose X is a connected, locally connected sober space. Consider the global sections geometric morphism \(f : {{\,\mathrm{\mathbf {Sh}}\,}}(X) \rightarrow \mathbf {Set}\). Viewing the objects of \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) as local homeomorphisms, the map \(\alpha _E : f_*(E) \rightarrow f_!(E)\) sends each global section s to the unique connected component of E that contains the image s(X). If X has an open subset U not equal to the empty set or all of X, we can construct a local homeomorphism \(\pi :E \rightarrow X\) by taking E to be the quotient of the disjoint union of two copies of X which identifies the two copies of U, and take \(\pi \) to be the natural projection map. This E is connected since X is, but has exactly 2 global sections, so \(\alpha _E\) fails to be monic. Thus \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is colocally punctually connected if and only if X is the one point space.
Another equivalent property relates to the internal logic of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\).
Definition 2.29
A topos \({\mathcal {E}}\) is said to be de Morgan if its subobject classifier is de Morgan as an internal Heyting algebra. Equivalently, this says that for any subobject A of an object B of \({\mathcal {E}}\), we have \((A \rightarrow 0) \cup ((A \rightarrow 0) \rightarrow 0) = B\) in the Heyting algebra of subobjects of B.
Example 2.30
Let X be a topological space. Then from [25, Example D4.6.3(b)] we know that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is de Morgan if and only if X is extremally disconnected, i.e. the closure of every open subset of X is again open.
The name ‘extremally disconnected’ is a bit misleading, since the existence of a dense point in X (see Proposition 2.47 below) makes X both connected and extremally disconnected. An explanation for this confusion is that extremal disconnectedness was originally only defined by Gleason for Hausdorff spaces in [17]. In that situation, extremal disconnectedness is strictly stronger than total disconnectedness.
More generally, if \(X = \bigsqcup _{i \in I} X_i\) is a disjoint union of a family \(\{X_i\}_{i \in I}\) of irreducible topological spaces in the sense to be defined in Proposition 2.47, then it follows that X is extremally disconnected. If X is a variety (with the Zariski topology), then X is extremally disconnected if and only if each of its connected components is irreducible.
Definition 2.31
A monoid M is said to satisfy the right Ore condition or is left reversible if for every \(m_1,m_2 \in M\) there exists \(m_1',m_2' \in M\) with \(m_1m_1'=m_2m_2'\), or equivalently \(m_1M \cap m_2M \ne \emptyset \). We employ the former terminology, as used by Johnstone in [25, Example A2.1.11]; the latter is employed by Sedaghatjoo and Khaksari in [37] and by Kilp et al. in [26].
Theorem 2.32
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be de Morgan) Let M be a monoid, \(\Omega \) the subobject classifier of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), \(\Gamma , C: {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) the usual functors and \(\alpha :\Gamma \rightarrow C\) the natural transformation from Lemma 2.21. The following are equivalent:

1.
C preserves monomorphisms, so the terminal left Mset is monomorphismflat.

2.
Any two nonempty subMsets of an indecomposable right Mset have nonempty intersection.

3.
M satisfies the right Ore condition.

4.
Any subMset of an indecomposable right Mset is either empty or indecomposable.

5.
\(C(\Omega )\) is a two element set (combined with condition 1, this means that C preserves the subobject classifier).

6.
\({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is de Morgan.

7.
\(\alpha :\Gamma \rightarrow C\) is a monomorphism; that is, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is copunctually locally connected.
Proof
(\(1 \Rightarrow 2\)) Let A be indecomposable and let \(A_1,A_2 \subseteq A\) be two nonempty subMsets of A. Since \(C(A_1\cup A_2) \hookrightarrow C(A)=1\) (and the first expression has at least one element), the two subsets must intersect.
(\(2 \Rightarrow 3\)) Applying (2) to the principal Msets generated by elements \(m_1,m_2 \in M\) gives the right Ore condition.
(\(3 \Leftrightarrow 4\)) Informally, given a finite zigzag connecting elements \(a_1,a_2\) in an indecomposable right Mset A, the right Ore condition allows us to inductively ‘push out’ the spans of this zigzag to obtain elements \(m_1,m_2\) with \(a_1\cdot m_1 = a_2 \cdot m_2\), so any subMset containing \(a_1\) intersects any containing \(a_2\); it follows that any nonempty subMset is indecomposable. Conversely, the union of a pair of principal ideals in M being indecomposable means they must intersect, else we could not construct a connecting zigzag.
(\(4 \Rightarrow 1\)) A subobject of an Mset A is a coproduct of subobjects of the indecomposable components of A. In particular, (4) ensures that the image under C of an inclusion of subMsets is monic.
(\(3 \Leftrightarrow 5\)) The subobject classifier \(\Omega \) of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is the collection of right ideals of M. Given a nonempty ideal I of M and \(m \in I\), we have \(I \cdot m = M\), so the connected component of \(\Omega \) containing M also contains all of the nonempty ideals. Since \(\emptyset \) is a fixed point of \(\Omega \), \(C(\Omega )\) has two elements if and only if \(I \cdot m\) is nonempty whenever I is for every \(m \in M\) (otherwise \(C(\Omega )\) is a singleton). Since the action of M on \(\Omega \) is orderpreserving, it is necessary and sufficient that this is true for the principal ideals, and \(m_1M \cdot m \ne \emptyset \) if and only if \(m_1M \cap mM \ne \emptyset \).
(\(3 \Leftrightarrow 6\)) By [25, Example D4.6.3(a)], the topos of presheaves on a category \({\mathcal {C}}\) is de Morgan if and only if \({\mathcal {C}}\) satisfies the right Ore condition, which reduces to Definition 2.31 when \({\mathcal {C}}\) has a single object.
(\(1 \Rightarrow 7\)) Since the counit of a hyperconnected geometric morphism is monic [25, Proposition A4.6.6], we have \(\alpha _X = C\epsilon _X \circ \left( \delta _{\Gamma (X)}\right) ^{1}\) is monic when C preserves monomorphisms.
(\(7 \Rightarrow 3\)) Let \(m_1,m_2 \in M\). Generate a right congruence of M from the relations \(m_1n \sim m_1n'\) and \(m_2n \sim m_2n'\) for all \(n,n' \in M\). The quotient of M by this congruence is indecomposable, so has at most one fixed point since \(\alpha \) is monic; in particular, the equivalence classes represented by \(m_1\) and \(m_2\) are fixed and so must be equal. That is, \(m_1M \cap m_2M \ne \emptyset \). \(\square \)
The equivalences (\(1 \Leftrightarrow 3\)) and a partial form of (\(3 \Leftrightarrow 4\)) appear respectively as [26, Exercise 12.2(2) and Exercise 11.2(2)].
Remark 2.33
Following [28], an object X of a topos \({\mathcal {E}}\) is called contractible if \(X^A\) is connected for all objects A of \({\mathcal {E}}\). Lawvere and Menni say a precohesive topos is sufficiently cohesive if every object can be embedded in a contractible object. Equivalently, a precohesive topos is sufficiently cohesive if and only if the subobject classifier is connected, see [29, Proposition 4]. As we observed in the proof of (\(3 \Leftrightarrow 5\)) above, the subobject classifier of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is connected if and only if M does not satisfy the right Ore condition. It follows easily that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is sufficiently cohesive if and only if M has at leas two rightabsorbing elements.
Since any group satisfies the right Ore condition, the equivalent properties of Theorem 2.32 are satisfied when M is a group; we shall see further special cases while investigating stronger properties in subsequent sections. Since every monomorphism in a topos is regular, C preserving equalizers implies C preserves monomorphisms. However, preserving equalizers is a strictly stronger condition:
Example 2.34
(C can preserve monomorphisms but not equalizers) Consider the commutative monoid \(M = {\mathbb {N}}\) of natural numbers under addition. Clearly, \({\mathbb {N}}\) satisfies the right Ore condition, so \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathbb {N}})\) is de Morgan. We prove that the functor C does not preserve equalizers in this case. Consider the diagram of right \({\mathbb {N}}\)sets
with s the successor map, i.e. \(s(n) = n+1\). Then the equalizer of this diagram is empty. But applying the connected components functor to (11) gives
with \(C({{\,\mathrm{id}\,}})\) and C(s) both the identity map. So the equalizer of this diagram is \(\{*\}\), which does not agree with \(C(\varnothing ) = \varnothing \).
We shall see in Theorem 2.49 the extent to which preservation of equalizers is stronger than preservation of monomorphisms for C. We first examine the conditions under which C preserves finite products.
Spans and Strong Connectedness
Definition 2.35
A geometric morphism \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) is called strongly connected if it is locally connected and its left adjoint \(f_!\) preserves finite products.
If f is strongly connected, then in particular \(f_!(1)=1\), so f is connected. This means that f is strongly connected if and only if it is connected, locally connected, such that \(f_!\) preserves binary products.
One justification for this name is a geometric one, but as we shall see in Proposition 2.47, it coincides with a stronger property, called total connectedness, for toposes of the form \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\). Therefore we give some justification in terms of presheaf toposes in Example 2.36.
Let \({\mathcal {D}}\) be a small category. Recall that colimits of shape \({\mathcal {D}}\) commute with finite products in \(\mathbf {Set}\) if and only if \({\mathcal {D}}\) is a sifted category; we refer the reader to the survey on sifted colimits [3] for background on these. Concretely, siftedness may be expressed as the requirement that for each pair of objects \(D_1,D_2\) in \({\mathcal {D}}\), the category \(\mathrm {Cospan}(D_1,D_2)\) of cospans on this pair of objects is nonempty and connected. More abstractly, siftedness may be characterised by the diagonal functor \({\mathcal {D}}\rightarrow {\mathcal {D}}\times {\mathcal {D}}\) being a final functor.
Example 2.36
The presheaf topos \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathcal {D}})\) is always locally connected. The left adjoint \(f_!\) in its global sections geometric morphism sends \(X:{\mathcal {D}}^{\mathrm {op}}\rightarrow \mathbf {Set}\) to its colimit. It follows by considering the terminal object of \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathcal {D}})\) that \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathcal {D}})\) is connected if and only if \({\mathcal {D}}\) is connected as a category, and that \(f_!\) preserves finite products if and only if \({\mathcal {D}}^{\mathrm {op}}\) is sifted, which is to say that the categories of spans \(\mathrm {Span}(D_1,D_2)\) with \(D_1,D_2 \in {\mathcal {D}}\) are connected too.
Applying this to the case where \({\mathcal {D}}\) has just one object, we arrive at the following:
Proposition 2.37
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be strongly connected) Let M be a monoid and \(C:{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) the connected components functor. The following are equivalent:

1.
C preserves finite products, i.e. \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly connected over \(\mathbf {Set}\), or the terminal left Mset is finitely productflat.

2.
C preserves binary products.

3.
The diagonal monoid homomorphism \(D: M \rightarrow M \times M\) is initial as a functor.

4.
The category \(\mathrm {Span}(M)\) of spans on M is connected.

5.
Any product of two indecomposable Msets is indecomposable.

6.
As a right Mset, \(M \times M\) is indecomposable.
Proof
The equivalence of (1), (2), (3) and (4) is immediate from the preceding discussion.
(\(2 \Rightarrow 5 \Rightarrow 6\)) Given indecomposable Msets X and Y, we have \(C(X \times Y) \cong C(X) \times C(Y) \cong 1\), so \(X \times Y\) is indecomposable; taking \(X = Y = M\) gives (6) as a special case of this.
(\(6 \Rightarrow 4\)) A morphism of spans \(m: (x,y) \rightarrow (xm,ym)\) is, by inspection, the action by right multiplication of \(m \in M\) on the corresponding element \((x,y) \in M \times M\). \(\square \)
Example 2.38
Suppose M is a nontrivial group. Then C fails to preserve products since \(M \times M\) decomposes into orbits indexed by the elements of M. This can also be deduced from Proposition 2.52 below combined with the result [25, Scholium A2.3.9] that a logical functor with a left adjoint which preserves finite limits must be an equivalence.
Lemma 2.39
Suppose M is a monoid with a right absorbing element. Then \(M \times M\) is indecomposable as a right Mset.
Proof
At the level of toposes, one can prove that any punctually locally connected geometric morphism f has leftmost adjoint \(f_!\) preserving products, as Johnstone does in [24, Proposition 2.7]. More concretely, let r be a right absorbing element and \((x,y) \in M \times M\). Then \((x,y)r = (xr,yr) = (1,yr)xr\) and \((1,1)yr = (yr,yr) = (1,yr)yr\), which gives a zigzag connecting (x, y) and (1, 1), making \(M \times M\) indecomposable as required. \(\square \)
Preserving Exponentials
In the context of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) being a strongly connected topos, it makes sense to ask under which extra conditions C is cartesianclosed; we explore this and some related conditions now for the sake of curiosity. First, we recall from (4) in Sect. 1.1 that for right Msets P and Q we have \(Q^P = {\mathcal {H}}\! om _M(M \times P,Q)\) in \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\), with \(m \in M\) acting by left multiplication in the first argument. The comparison morphism \(\vartheta _{P,Q}\) for C sends the connected component \([g] \in C(Q^P)\) to the function sending a component \([p] \in C(P)\) to the component \([g(1,p)] \in C(Q)\), where \(g:M \times P \rightarrow Q\), \(p \in P\) and \(g(1,p) \in Q\) are representative elements of their respective components.
For a general geometric morphism \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) to be locally connected, the inverse image functor not only needs a left adjoint \(f_!\), but this adjoint must be \({\mathcal {E}}\)indexed, which can be paraphrased as the condition that transposition from \({\mathcal {F}}\) to \({\mathcal {E}}\) across the adjunction \((f_! \dashv f^*)\) should preserve pullback squares of a suitable form. We refer the reader to [7, Definition 1.2.1] for a more precise statement of this, but we will only use the following fact.
Fact 2.40
Let \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) be a connected, locally connected geometric morphism. Then for every Y in \({\mathcal {F}}\), X in \({\mathcal {E}}\) we have:
naturally in X and Y. Thus even when f is not strongly connected, we can construct the canonical morphisms \(\vartheta _{f^*(X),Y}: f_!(Y^{f^*(X)}) \rightarrow f_!(Y)^{f_!f^*(X)}\).
Definition 2.41
Let \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) be an essential geometric morphism satisfying \(f_!(1) = 1\). Observe that since colimits are stable under pullback in a topos, we have \(Y \times \coprod _{i=1}^n 1 = \coprod _{i=1}^n Y\) for any object Y, so that products of this form are preserved by \(f_!\). Thus the canonical morphisms \(\vartheta _{\left( \coprod _{i = 1}^n 1 \right) ,Y}: f_!(Y^{\left( \coprod _{i=1}^n 1\right) }) \rightarrow f_!(Y)^{\left( \coprod _{i=1}^n 1\right) }\) are welldefined. When they are isomorphisms for every n, we say f is finitely powerconnected.
Now suppose f is a connected, locally connected geometric morphism. Then we say \(f_!\) preserves \({\mathcal {E}}\)indexed powers, or that f is powerconnected if \(\vartheta _{f^*(X),Y}\) is an isomorphism for all objects \(X \in {\mathcal {E}}\) and \(Y \in {\mathcal {F}}\). Since \(f^*(\coprod _{i \in I} 1) \cong \coprod _{i \in I} 1\) in \({\mathcal {F}}\), this implies finite powerconnectedness.
Finally, suppose f is strongly connected. We say f is cartesianclosedconnected^{Footnote 2} if \(f_!\) is cartesianclosed. By inspection, this implies being powerconnected.
The first of these definitions is clearly implied by strong connectedness, since powers correspond to products in which all entries are equal. For the global sections morphisms of the toposes studied in this paper, however, it is equally strong:
Corollary 2.42
The global sections morphism of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is finitely powerconnected if and only if it is strongly connected, since \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly connected if and only if \(M \times M = M^2\) is indecomposable by Proposition 2.37. See Proposition 2.47 below for this result in the case of toposes of the form \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\).
For our investigation of powerconnectedness, we begin with the case where M fails to satisfy the right Ore condition. In [37, Proposition 3.4] it is noted that a further condition coinciding with the right Ore condition is the property that every indecomposable Mset has finite width, in the sense that there exists an upper bound on the length of the zigzag needed to connect any pair of elements. This is formalised as follows:
Definition 2.43
([37, Section 1]) Let M be a monoid and A a right Mset. We say that two elements \(a,b \in A\) can be connected by a scheme of length n if we can find \(s_1,\dots ,s_n,t_1,\dots ,t_n \in M\), \(a_1,\dots ,a_n \in A\) such that
Proposition 2.44
Suppose that M does not satisfy the right Ore condition. Then the connected components functor C fails to preserve \(\mathbf {Set}\)indexed powers; in particular, C is not cartesianclosed.
Proof
We shall construct an indecomposable right Mset X such that \(X^{\Delta ({\mathbb {N}})}\) is not indecomposable.
Since M does not satisfy the right Ore condition, there is some pair of elements a, b with \(aM \cap bM = \emptyset \). Construct the Mset S by quotienting by the equivalence relation \(m \sim m'\) iff \(m = m'\) or \(m,m' \in aM\) or \(m,m' \in bM\). The quotient map \(M \twoheadrightarrow S\) sends the ideals aM and bM to distinct fixed points of S; abusing notation we call these fixed points a and b respectively.
Now let X be the quotient of \(\bigsqcup _{n \in {\mathbb {N}}} S\) by the equivalence relation identifying the element b of the nth copy of S with the element a of the \((n+1)\)th copy of S. Denoting the image of a from the nth copy by \(a_n\), we observe that for and \(k \in {\mathbb {N}}\), \(a_0\) and \(a_k \in X\) cannot be connected by a scheme of length less than k.
Elements of \(X^{\Delta ({\mathbb {N}})}\) can be identified with \({\mathbb {N}}\)indexed tuples of elements of X, which we notate as vectors. Take two elements \(\mathbf {x},\mathbf {y} \in X^{\Delta ({\mathbb {N}})}\). If \(\mathbf {x}\) and \(\mathbf {y}\) can be connected by a scheme of length 1, then this means that there is some \(\mathbf {z} \in X^{\Delta ({\mathbb {N}})}\) and elements \(s,t \in M\) such that \(\mathbf {x} = \mathbf {z}s\) and \(\mathbf {y} = \mathbf {z}t\). In particular, for each index n we have \(x_n = z_ns\) and \(y_n = z_nt\) so these are connected by a scheme of length 1 in X. Analogously, if \(\mathbf {x}\) and \(\mathbf {y}\) can be connected by a scheme of length k, then \(x_n\) and \(y_n\) can be connected by a scheme of length k in X for all indices \(n \in {\mathbb {N}}\).
Now let \(x_n = a_n\) and \(y_n = a_0\) for all \(n \in {\mathbb {N}}\). The resulting elements \(\mathbf {x}\) and \(\mathbf {y}\) are in separate components of \(X^{\Delta ({\mathbb {N}})}\), since for any \(k \in {\mathbb {N}}\), an element \(\mathbf {z}\) connected to \(\mathbf {y}\) by a scheme of length less than k cannot have kth component equal to \(a_k\). Thus \(X^{\Delta ({\mathbb {N}})}\) is not indecomposable, as claimed. \(\square \)
For the case where M satisfies the right Ore condition and \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is powerconnected, we have Theorem 2.57.9 below. Finally, we examine the still stronger condition of cartesianclosedconnectedness.
Proposition 2.45
Suppose that M satisfies the right Ore condition and that the connected components functor C is cartesianclosed. Then M is trivial.
Proof
Being cartesianclosed requires that \(C(M^M) \cong C(M)^{C(M)} \cong 1\), so \(M^M\) is indecomposable. In particular, the projection maps \(\pi _1,\pi _2:M \times M \rightrightarrows M\) in \(M^M = {\mathcal {H}}\! om _M(M \times M, M)\) must be in the same component under the action described above. But since M has the right Ore condition, they are in the same component if and only if there are \(m_1,m_2\) with \(\pi _1 \cdot m_1 = \pi _2 \cdot m_2\). By inspection of the action, \(\pi _2 \cdot m_2 = \pi _2\) for all \(m_2 \in M\), while \(\pi _1 \cdot m_1\) is independent of the second argument for any \(m_1 \in M\), so the same must also be true of \(\pi _2\), which forces M to be trivial. \(\square \)
Right Collapsibility and Total Connectedness
We can express localness of a connected geometric morphism f (Definition 2.18) as the existence of a right adjoint to f in the 2category of Grothendieck toposes and geometric morphisms; see [25, Theorem C3.6.1]. From this perspective, the dual property to localness, appearing in [25, Theorem C3.6.14], is total connectedness.
Definition 2.46
A geometric morphism \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) is called totally connected if it is locally connected and the left adjoint \(f_!\) preserves finite limits.
The following is adapted from Johnstone’s results, [25, Example C3.6.17(a)] and [24, Lemma 1.1].
Proposition 2.47
Let X be a sober topological space. Then the following are equivalent:

1.
\({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is totally connected.

2.
\({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is strongly connected.

3.
\({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is finitely powerconnected.

4.
Any nonempty open subset of X is connected and a finite intersection of these is nonempty.

5.
X is irreducible: if \(X = X_1 \cup X_2\) for closed subsets \(X_1\) and \(X_2\), then \(X_1 = X\) or \(X_2 = X\).

6.
X has a dense point, i.e. a point that is contained in all nonempty open sets.
Proof
(\(1 \Rightarrow 2 \Rightarrow 3\)) These implications are trivial.
(\(3 \Rightarrow 4\)) Let X be a connected, locally connected topological space such that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is finitely powerconnected with global sections geometric morphism \(f : {{\,\mathrm{\mathbf {Sh}}\,}}(X) \rightarrow \mathbf {Set}\). For two open subsets U and V, their product as subterminal objects in \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is given by the intersection \(U \cap V\). Since \(f_!\) preserves finite powers, we know that the natural map \(f_!(U) \rightarrow f_!(U) \times f_!(U)\) coincides with the diagonal and is an isomorphism, which shows that U is connected whenever it is nonempty (since U has at least one connected component). Moreover, for nonempty U, V, if we had \(U \cap V\) empty, \(U \cup V\) would be a disconnected open set, a contradiction.
(\(4 \Leftrightarrow 5\)) Given closed subsets \(X_1,X_2 \subset X\) with \(X_1 \cup X_2 = X\), we have \((X  X_1) \cap (X  X_2) = \emptyset \). Given that intersections of nonempty open sets are nonempty, this means that one of \((X  X_1)\) or \((X  X_2)\) must be empty. Hence X is irreducible. Conversely, given two disjoint open subsets, their complements are closed and cover X, so one of them must be empty.
(\(4 \Rightarrow 6\)) Condition (4) ensures that the nonempty open sets of X form a completely prime filter, and hence correspond to a point contained in every open set.
(\(6 \Rightarrow 1\)) Having a dense point ensures that X is connected and locally connected. Expressing \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) as the category of local homeomorphisms over X, each connected component of an object \(E \rightarrow X\) must meet the fibre over the dense point in exactly one point. The inverse image functor of (the geometric morphism corresponding to) this point, which gives the set of points of E lying in the fibre over it, is therefore isomorphic to the connected components functor \(f_!\). Being the inverse image functor of a geometric morphism means that \(f_!\) preserves finite limits, as required. \(\square \)
For a ring R without nonzero nilpotent elements, \(\mathrm {Spec}(R)\) is irreducible (for the Zariski topology) if and only if R does not have zero divisors (i.e. R is a domain).
As in the last section, we can express C as sending an Mset to its colimit as a functor. Thus C preserves finite limits if and only if colimits of shape \(M^{\mathrm {op}}\) commute with finite limits in \(\mathbf {Set}\). A wellknown result regarding commuting limits and colimits is that colimits of shape \({\mathcal {D}}\) commute with finite limits in a topos if and only if \({\mathcal {D}}\) is filtered, which means concretely that:

\({\mathcal {D}}\) is nonempty,

For any pair of objects P, Q of \({\mathcal {D}}\), there is a cospan from P to Q.

For any pair of parallel morphisms \(f,g:P \rightrightarrows Q\) there is some \(h:Q \rightarrow R\) in \({\mathcal {D}}\) with \(hf = hg\).
We correspondingly say that \({\mathcal {D}}^{\mathrm {op}}\) is cofiltered if \({\mathcal {D}}\) satisfies these conditions. Applying this to M as a oneobject category as in the last section, we see that the first two conditions are trivial.
Definition 2.48
(see [37, 26, III, Definition 14.1]) We say that M is right collapsible if for any pair \(m_1,m_2\) of elements of M, there exists \(m \in M\) with \(m_1m=m_2m\), that is, if M is cofiltered as a category.
Theorem 2.49
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be totally connected) The following are equivalent:

1.
C preserves finite limits, i.e. \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is totally connected, or the terminal left Mset 1 is flat.

2.
M is cofiltered as a category.

3.
M is right collapsible.

4.
C preserves pullbacks.

5.
C preserves equalizers.

6.
The category of points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) has a terminal object.
Proof
Equivalence of (1), (2) and (3) follows from the discussion above.
(\(1 \Rightarrow 4 \Rightarrow 5\)) The first implication is trivial, the latter is Proposition 1.10.
(\(5 \Rightarrow 3\)) For \(m_1,m_2 \in M\), consider the diagram
Because C preserves equalizers, the equalizer of this diagram is nonempty, so there is an \(m \in M\) with \(m_1m = m_2m\).
(\(1 \Leftrightarrow 6\)) The category of points of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) can be identified with the category of flat left Msets and homomorphisms of Msets between them. Since in particular M (with left action given by multiplication) is flat, the category of points has a terminal object if and only if 1 is flat (on the left), since any other nonempty Mset admits more than one homomorphism from M. \(\square \)
Remark 2.50
Note that a functor into \(\mathbf {Set}\) is flat in the sense of Definition 1.7 if and only if its category of elements is filtered in the above sense; since the general definition of the category of elements is rather involved, we mention only in passing that the category of elements for the terminal left Mset is precisely \(M^{\mathrm {op}}\), which gives an alternative proof of the equivalence (\(1 \Leftrightarrow 2\)) in the above.
Remark 2.51
In the above we recovered Sedaghatjoo and Khaksari’s result [37, Lemma 3.7], which is the equivalence (\(1 \Leftrightarrow 3\)). The equivalence (\(4 \Leftrightarrow 5\)) can also be seen as the statement that the left Mset with one element is pullbackflat if and only if it is equalizerflat. In the semigroup literature, it is shown more generally that equalizerflatness and pullbackflatness coincide for cyclic Msets, see Kilp et al. [26, III,Theorem 16.7].
In [37, Corollary 3.8], Sedaghatjoo and Khaksari show that a monoid M is right collapsible if and only if it is right Ore and \(M \times M\) is indecomposable as a right Mset with the diagonal action. By the characterisations in preceding sections, this means that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is totally connected if and only if it is de Morgan and strongly connected. We give an alternative proof of this fact:
Proposition 2.52
Let M be a monoid. Then \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is totally connected if and only if it is de Morgan and strongly connected.
Proof
If C preserves finite limits, then it certainly also preserves finite products and monomorphisms. Conversely, suppose that C preserves finite products and monomorphisms. To show that C preserves all finite limits, it is enough to show that C preserves equalizers. Let E be the equaliser of the diagram
Since C(E) is a subobject of C(X) and C preserves coproducts, it is enough to show that E is nonempty whenever X and Y are indecomposable. Because C preserves finite products, \(X \times Y\) is indecomposable. Therefore, consider the two (nonempty) subobjects
Their intersection is isomorphic to E, and is nonempty by part 2 of Theorem 2.32. \(\square \)
Proposition 2.52 enables us to show that when M is a monoid with \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) strongly connected, C need not preserve all monomorphisms. This demonstrates (for example) that the properties of a topos of being de Morgan and strongly connected are independent.
Example 2.53
(Strongly connected \(\not \Rightarrow \) de Morgan) Let \(M = \{1,a,b\}\) be the threeelement monoid with a and b rightabsorbing. In this case, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is known as the topos of reflexive graphs. This topos also appears in the work of Connes and Consani [11], where the objects of this topos are seen as sets equipped with a certain notion of reflexive relation. It follows from Lemma 2.39 that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is strongly connected. However, \(aM \cap bM = \varnothing \) so \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is not de Morgan.
Left Absorbing Elements and Colocalness
Definition 2.54
A more direct dual of Definition 2.18 in the context of essential geometric morphisms is the existence of an ‘extra left adjoint’. We say that a locally connected Grothendieck topos \({\mathcal {E}}\) with global sections morphism f is colocal if the left adjoint \(f_!\) has a further left adjoint. More generally, we might say a locally connected geometric morphism \(f : {\mathcal {F}}\rightarrow {\mathcal {E}}\) is colocal if its left adjoint \(f_!\) has a further \({\mathcal {E}}\)indexed left adjoint.
There is a characterisation of topological spaces X such that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is colocal comparable to Proposition 2.19.
Proposition 2.55
Let X be a locally connected sober topological space. Then \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is a colocal topos if and only if X has a (necessarily unique) dense open point, i.e. a point \(x_0 \in X\) such that \(\{x_0\}\) is an open set that is contained in all other open sets.
Proof
Suppose that X has a dense open point \(x_0\). From the proof of Proposition 2.47, we know that the connected components functor \(f_!\) of \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) coincides with the inverse image functor for the geometric morphism corresponding to \(x_0\). Moreover, we can construct a left adjoint to \(f_!\) which maps a set S to the sheaf \(F_S\) defined as
So \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is a colocal topos.
Conversely, suppose that \({{\,\mathrm{\mathbf {Sh}}\,}}(X)\) is a colocal topos. Then the connected components functor preserves arbitrary limits. In particular, it preserves the terminal object and monomorphisms, which shows that each nonempty open subset of X is connected. Now consider the diagram \(\{U_i\}_{i \in I}\) of all nonempty open subsets of X. We have \(C(\bigwedge _{U \in {\mathcal {O}}(X)} U) = \bigwedge _{U \in {\mathcal {O}}(X)} C(U) = 1\), so \(\bigwedge _{U \in {\mathcal {O}}(X)} U\) is a minimal nonempty open subset. Because X is sober, this minimal open subset contains exactly one point. \(\square \)
For a commutative ring R without zerodivisors, we find that the topos of sheaves on \(\mathrm {Spec}(R)\) (with the Zariski topology) is colocal if and only if there is an \(f \in R\) such that \(R[f^{1}]\) is a field (necessarily the field of fractions of R). In this case, R is called a Goldman domain. If we assume that R is noetherian, then R is a Goldman domain if and only if R has only finitely many prime ideals; see [10, Theorem 12.4].
Lemma 2.56
Suppose M is a monoid with a left absorbing element l. Then for any right Mset A, we have \(C(A) \cong Al\).
Proof
Recall that we can express C(A) as the set of equivalence classes of A under the equivalence relation generated by \(a \sim a\cdot m\) for \(a \in A\), \(m \in M\). Clearly every equivalence class has a representative of the form \(a \cdot l\), so it suffices to show that if \(a \sim b\) then \(a \cdot l = b \cdot l\) (so this representative is unique). Indeed, for \(a \sim b\) to hold there must be a finite sequence of elements of A, \(a=a_0,a_1,\dotsc ,a_k=b\) and elements \(m_0,\dotsc ,m_{k1}\) and \(n_1,\dotsc ,n_k\) with \(a_i \cdot m_i = a_{i+1} \cdot n_{i+1}\) for \(i=0,\dotsc ,k1\). Then we have \(a_i \cdot l = a_i \cdot m_il = a_{i+1} \cdot n_{i+1}l = a_{i+1} \cdot l\) and so inductively \(a \cdot l = b \cdot l\), as required. \(\square \)
The above lemma is the dual of Lemma 2.24. We will use it to prove \((1 \Rightarrow 6)\) in the following theorem.
Theorem 2.57
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be colocal) Let M be a monoid, \(C:{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) its connected components functor and \(\Gamma :{{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) its global sections functor. The following are equivalent:

1.
M has a left absorbing element.

2.
M has a minimal nonempty right ideal whose monoid of endomorphisms as a right Mset is trivial.

3.
The category of indecomposable right Msets has an initial object.

4.
Every indecomposable right Mset has a minimal nonempty subobject admitting no nontrivial endomorphisms.

5.
The category of essential points of M has a terminal object.

6.
C has a left adjoint c which preserves connected limits.

7.
C has a left adjoint c; that is, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is colocal over \(\mathbf {Set}\).

8.
C preserves arbitrary products, so the terminal left Mset is productflat.

9.
C preserves \(\mathbf {Set}\)indexed powers.
Proof
(\(1 \Rightarrow 2\)) Any nonempty right ideal of M must contain the collection of leftabsorbing elements, and the subset of leftabsorbing elements is a right ideal of M. Moreover, any Mendomorphism of an ideal of M must fix the set of leftabsorbing elements (since \(f(l) = f(l) \cdot l = l\) for any leftabsorbing l), so this minimal ideal has no nontrivial endomorphisms.
(\(2 \Rightarrow 3\)) Let l be a leftabsorbing element. Then the set of leftabsorbing elements can be written as lM, in particular it is indecomposable projective as a right Mset. We claim that lM is an initial object in the category of indecomposable right Msets. Take an indecomposable right Mset X. Note that morphisms \(lM \rightarrow X\) correspond to elements of \(Xl \cong X \otimes _M Ml\). Because \(Ml = 1\) as a left Mset, we have \(Xl = C(X)=1\), so there is a unique morphism \(lM \rightarrow X\).
(\(3 \Rightarrow 4\)) Let A be the initial object in the category of indecomposable right Msets. Then for every indecomposable right Mset X, there is a unique morphism \(f: A \rightarrow X\). The image Q of f is necessarily contained in every indecomposable subobject of X, which in turn implies that it is contained in every subobject. Further, the unique morphism \(\pi : A \rightarrow Q\) is an epimorphism, so for any endomorphism \(g : Q \rightarrow Q\) we have \(g \circ \pi = \pi \), which shows \(g = 1\).
(\(4 \Rightarrow 1\)) Consider the minimal nonempty subobject A of M. For arbitrary \(m \in M\), take the morphism \(f: A \rightarrow M\), \(a \mapsto ma\). Then f(A) contains A and \(f^{1}(A) = A\) by minimality of A. So f defines an endomorphism of A, which is trivial by assumption. This shows that \(ma=a\), for all \(m \in M\) and all \(a \in A\). In other words, each element of A is a leftabsorbing element.
(\(1 \Leftrightarrow 5\)) Recall that the category of essential points can be identified with the category of indecomposable projective left Msets. If l is a left absorbing element, then the terminal left Mset is projective, since we can write it as \(1 = Ml\). Conversely, if the category of essential points has a terminal object, then 1 is projective, so there is an idempotent \(e \in M\) such that \(1 = Me\). But then e is a left absorbing element.
(\(1 \Rightarrow 6\)) By Lemma 2.56, if l is a leftabsorbing element of M then \(C = {\mathcal {H}}\! om _M(lM,)\), so C preserves limits. It follows from the Special Adjoint Functor Theorem that C has a left adjoint c. Using Proposition 1.5, we know that \(c(X) \cong X \times lM\), whence it preserves connected limits. Note that it preserves products if and only if lM has a single element (so l is a zero element).
(\(6 \Rightarrow 7 \Rightarrow 8 \Rightarrow 9\)) These implications are trivial.
(\(9 \Rightarrow 1\)) By Proposition 2.44, if \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is powerconnected, then M must satisfy the right Ore condition. Consider the product of M copies of M in \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\). This is indecomposable by assumption, so there are elements \(s,t \in M\) such that \((m)_{m \in M} \cdot s = (1)_{m \in M} \cdot t\), which is to say such that \(ms = t\) for all \(m \in M\). Taking \(m=1\) we have that \(s=t\) is a leftabsorbing element, as required. \(\square \)
The equivalence of conditions 1 and 7 appears as Proposition 3.9 of [37]; we underline once again that their ‘right zero’ elements are our ‘left absorbing’ elements.
Remark 2.58
Between the preservation of finite products by C in Proposition 2.37 and the preservation of arbitrary products in Theorem 2.57, we can also investigate intermediate sizes of products, which can be equivalently stated as the requirement that colimits over \(M^{\mathrm {op}}\) commute with such products (see the discussion in Sect. 2.5). Surprisingly, by [1, Theorem 3.1] for an arbitrary small category \({\mathcal {D}}\), commuting with even countably infinite products forces commutation with equalizers and hence with all equally large limits. That is, we may as well expand our considerations from products to arbitrary limits. We can also conclude that the equivalence (\(7 \Leftrightarrow 8\)) in Theorem 2.57 is true in general for presheaf toposes.
We recall some classical terminology. Let \(\kappa \) be a regular cardinal. Then a \(\kappa \)small category is a category for which the collection of morphisms is a set of cardinality strictly smaller than \(\kappa \). Further, \(\kappa \)small limits are limits of diagrams indexed by \(\kappa \)small categories. For example, and \(\omega \)small limits are finite limits, for \(\omega = {\mathbb {N}}\). We say that a category \({\mathcal {D}}\) is \(\kappa \)filtered if every diagram \(F : I \rightarrow {\mathcal {D}}\), with I a \(\kappa \)small category, has a cone over it; this is equivalent to \({\mathcal {D}}\)colimits commuting with \(\kappa \)small limits. Dually, \({\mathcal {D}}\) is \(\kappa \)cofiltered if \({\mathcal {D}}^{\mathrm {op}}\) is \(\kappa \)filtered.
It follows that C preserves \(\kappa \)small limits if and only if M has the property that for any family \(\{m_i\}_{i \in I}\) with \(I<\kappa \), there is an m such that:
for all \(i,j \in I\). We may call monoids with this property right \(\kappa \)collapsible.
Suppose that M is right \(\kappa \)collapsible for some \(\kappa > M\). Then there is some \(l \in M\) such that \(ml = m'l\) for all \(m,m' \in M\), so by taking \(m' = 1\) we see that l is left absorbing (see also the proof of Theorem 2.57). However, it is possible that M is Mcollapsible but does not have a leftabsorbing element. We can construct examples as follows. Let \(\kappa \) be a regular cardinal. Then we can identify \(\kappa \) with the set of ordinals of cardinality strictly smaller than \(\kappa \). The union of two ordinals in \(\kappa \) is still in \(\kappa \), so the union defines a (commutative idempotent) monoid structure on \(\kappa \). Now let \(\{\alpha _i\}_{i \in I}\) be a family of ordinals in \(\kappa \), with \(I<\kappa \). Then the union \(\alpha = \bigcup _{i \in I} \alpha _i\) is again in \(\kappa \), because \(\kappa \) is regular. Clearly, \(\alpha _i \cup \alpha = \alpha \cup \alpha _j\) for all \(i,j \in I\). So this monoid is right \(\kappa \)collapsible, but it does not have a left absorbing element.
Zero Elements
Definition 2.59
Let \(f:{\mathcal {F}}\rightarrow {\mathcal {E}}\) be a connected, locally connected geometric morphism. We say f is bilocal if it is both local and colocal. We say f is bipunctually locally connected if it is both punctually and copunctually locally connected. As usual, we say a Grothendieck topos has these properties if its global sections morphism does.
In [29, Definitions 1 and 2], Lawvere introduced the terms of quality type and category of cohesion over a base category. For Grothendieck toposes over \(\mathbf {Set}\), these respectively coincide with the bipunctual local connectedness presented above and condition 6 of Theorem 2.60 below, so that in the case of toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) they coincide.
Theorem 2.60
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be bilocal) Let M be a monoid, \(\Gamma \) and C the usual functors and \(\alpha :\Gamma \rightarrow C\) the natural transformation of Lemma 2.21. The following are equivalent:

1.
M has a zero element.

2.
\(\Gamma \) is full.

3.
\(\alpha \) is a split monomorphism.

4.
\(\alpha \) is an isomorphism: \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is bilocally punctually connected.

5.
\(\Gamma \) has a right adjoint and C has a left adjoint: \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is bilocal.

6.
\(\alpha \) is epic and C preserves \(\mathbf {Set}\)indexed powers.

7.
\(\Gamma \) has a right adjoint and C preserves monomorphisms.

8.
C has a left adjoint which preserves the terminal object of \(\mathbf {Set}\).
Proof
(\(1 \Rightarrow 2\)) Each component of each Mset has a unique fixed point, obtained by acting by the unique zero element. Given a morphism \(g: \Gamma (X) \rightarrow \Gamma (Y)\) we can map each element of X to the fixed point in the same component and then apply g to obtain an Mset homomorphism \(X \rightarrow Y\) whose image under \(\Gamma \) is g.
(\(2\Rightarrow 3 \Rightarrow 4\)) Let \(\epsilon \) be the counit of \((\Delta \dashv \Gamma )\). Then \(\Gamma \) is full if and only if \(\epsilon \) is a split monomorphism, which makes \(C\epsilon \) and hence \(\alpha \) a split monomorphism. In particular, \(\alpha _M: \Gamma (M) \rightarrow C(M) = 1\) is a split monomorphism, meaning there is a morphism \(1 \rightarrow \Gamma (M)\) in \(\mathbf {Set}\) and so \(\Gamma (M)\) is nonempty, which means M has a right absorbing element and \(\alpha \) must be epic and hence an isomorphism.
(\(4 \Rightarrow 5\)) Since \(\Gamma \) and C are naturally isomorphic, \(\Delta \) is a right and left adjoint to both of them.
(\(5 \Leftrightarrow 6\)) By Theorem 2.25, we have that \(\alpha \) is epic if and only if \(\Gamma \) has a right adjoint and by Theorem 2.57 we have that C has a left adjoint if and only if C preserves \(\mathbf {Set}\)indexed powers.
(\(5 \Rightarrow 7\)) This is immediate.
(\(7 \Rightarrow 1\)) By Lemma 2.39, M being local makes \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) strongly connected, and so C also preserving monomorphisms makes \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) totally connected and hence M is right collapsible by Proposition 2.52 and Theorem 2.49. Applying right collapsibility to any pair of right absorbing elements shows that they must be equal, so there is a unique right absorbing element, which is thus a zero element.
(\(5 \Leftrightarrow 8\)) One direction follows from the fact that \(\Delta \) preserves 1. Conversely, any left adjoint functor whose domain is \(\mathbf {Set}\) is determined by the image of 1. In particular, if the left adjoint of C preserves 1 it is naturally isomorphic to \(\Delta \), and hence their right adjoints are naturally isomorphic too, so \(\Delta \) is also a right adjoint to \(\Gamma \). \(\square \)
Note that (\(4 \Leftrightarrow 7\)) appears in a more general form as [24, Proposition 3.7]. Observe also that \(\Gamma \) being full implies that C is full, but now in an entirely constructive way!
Remark 2.61
Since any monoid with a rightabsorbing element has either exactly one, which is necessarily a zero element, or at least two, we have a dichotomy between Lawvere’s sufficiently cohesive toposes from Remark 2.33 above and their toposes of quality type. This dichotomy is shown by Menni in [33, Corollary 4.6] to hold for arbitrary precohesive presheaf toposes.
Trivialising Conditions
Many of the conditions encountered in this article suggest lines of investigation for further properties. As it turns out, many of these directions turn out to be dead ends, in the sense that they force the monoid to be trivial. In this section we present a variety of these conditions. As promised in an earlier section, we include some alternative weakenings of the concept of cartesianclosedness in this list.
Definition 2.62
Suppose \(F:{\mathcal {F}}\rightarrow {\mathcal {E}}\) is a functor between toposes which preserves products. F is subcartesianclosed if the comparison morphisms \(\vartheta _{P,Q}\) of (6) in Sect. 1.1 are monomorphisms for every pair P, Q of objects of \({\mathcal {F}}\). If F moreover preserves monomorphisms and the comparison morphism \(\chi \) of (8) is a monomorphism, we say F is sublogical.
Sublogical functors appear in the definition of open geometric morphisms: a geometric morphism is called open if its inverse image functor is subcartesianclosed. We therefore refer the reader once again to Johnstone [25, Section C3.1] for background on this concept, where a different but equivalent definition is given. Since any hyperconnected morphism is open, [25, Corollary C3.1.9], we have that \(\Delta \) is sublogical for any monoid M.
Theorem 2.63
(Conditions for \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) to be equivalent to \(\mathbf {Set}\)) Let M be a monoid, \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) its topos of right actions, and \(\Gamma , \Delta , C\) the usual functors. The following are equivalent:

1.
M is the trivial monoid.

2.
The geometric morphism \((\Delta \dashv \Gamma )\) is an equivalence.

3.
\(\Gamma \) is full and faithful, or the above geometric morphism is an inclusion of toposes.

4.
\(\Gamma \) is faithful.

5.
The geometric morphism \((\Delta \dashv \Gamma )\) is localic.

6.
C is full and faithful.

7.
C is faithful.

8.
\(\Gamma \) is cartesianclosed or logical.

9.
\(\Gamma \) is subcartesianclosed or sublogical.

10.
\(\Delta \) is logical and C preserves products.

11.
C is logical, cartesianclosed, sublogical or subcartesianclosed.

12.
\(\Gamma \) reflects binary coproducts or binary products or the terminal object or monomorphisms.
Proof
(\(1 \Leftrightarrow 2\)) This is immediate after noting that the trivial monoid is the only monoid which can represent \(\mathbf {Set}\) as a presheaf topos.
(\(2 \Leftrightarrow 3 \Rightarrow 4 \Rightarrow 5 \Rightarrow 2\)) Since any equivalence is an inclusion and \(\Gamma \) is faithful if and only if the counit of \((\Delta \dashv \Gamma )\) is epic, which is sufficient to make the geometric morphism localic. But a geometric morphism which is hyperconnected and localic is automatically an equivalence.
(\(2 \Rightarrow 6 \Rightarrow 7 \Rightarrow 5\)) The components of an equivalence are always full and faithful. The second implication is trivial, and C is faithful if and only if the unit of \((C \dashv \Delta )\) is a monomorphism, which is again sufficient to make the geometric morphism localic.
(\(3 \Leftrightarrow 8 \Rightarrow 9 \Leftrightarrow 3\)) Since \(\Gamma : {{\,\mathrm{\mathbf {PSh}}\,}}(M) \rightarrow \mathbf {Set}\) always preserves the subobject classifier by [25, Proposition A4.6.6(v)], it is logical if and only if it is cartesianclosed, and the latter is equivalent to the global sections morphism being full and faithful by Lemma A4.2.9 there. Being sublogical (or equivalently subcartesianclosed) is an apparently weaker condition, but is still equivalent to the geometric morphism being an inclusion by [25, Proposition C3.1.8].
(\(1 \Leftrightarrow 10\)) This is the content of Example 2.38.
(\(2 \Rightarrow 11 \Rightarrow 1\)) The components of an equivalence are always logical. Conversely, we observed in the proof of Theorem 2.32 that \(C(\Omega )\) always has one or two elements, so that the comparison morphism \(\chi \) for C is always monic. Being sublogical is therefore equivalent to being subcartesianclosed. The remaining implication is contained in the proofs of Propositions 2.44 and 2.45, since in both cases we actually showed that one of the comparison morphisms failed to be monic.
(\(2 \Rightarrow 12 \Rightarrow 1\)) All of the functors involved in an equivalence preserve and reflect all limits and colimits. If \(\Gamma \) reflects coproducts, consider two cases. First, if \(\Gamma (M) = \emptyset \), then \(\Gamma (1 \sqcup M) = \Gamma (1) \sqcup \Gamma (\varnothing )\) forces \(1\sqcup M \cong 1\sqcup \varnothing \), a contradiction. On the other hand, if \(\Gamma (M)\) is nonempty then M has some right absorbing elements; consider the Mset X obtained by identifying them all. Then in particular \(\Gamma (X) = 1 = \Gamma (1)\) and hence \(\Gamma (X\sqcup 1) \cong \Gamma (1) \sqcup \Gamma (1)\) forces \(X\sqcup 1 \cong 1\sqcup 1\) and hence \(X \cong 1\); it follows that every element of M was rightabsorbing and so \(M \cong 1\) as required. The arguments for binary products, the terminal object or monomorphisms are similar: replace the reflected coproducts with the reflections of \(\Gamma (M \times 1) = \Gamma (\varnothing ) \times \Gamma (1)\) or \(\Gamma (X \times 1) = \Gamma (1) \times \Gamma (1)\) in the first case; \(\Gamma (M\sqcup 1) = \Gamma (1)\) and \(\Gamma (X) = \Gamma (1)\) in the second case and with the morphisms \(M \twoheadrightarrow 1\) and \(X \twoheadrightarrow 1\) in the final case. \(\square \)
Conclusion
We can summarise some of the properties and results obtained in this paper in Table 1 and Table 2.
Notable Omissions
This article is far from an exhaustive presentation of what topostheoretic properties mean for toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) and the monoids presenting them: we have chosen to focus on those properties expressible in terms of the functors constituting the global sections geometric morphism. Other properties which the authors are already investigating include:

Classifying topos properties When is \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) the classifying topos of a regular or coherent theory? More generally, what properties of theories classified by \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) and their categories of models can be deduced from properties of M and vice versa?

Diagonal properties Since the (2)category of toposes and geometric morphisms has pullbacks, any geometric morphism \({\mathcal {F}}\rightarrow {\mathcal {E}}\) induces a diagonal \({\mathcal {F}}\rightarrow {\mathcal {F}}\times _{{\mathcal {E}}} {\mathcal {F}}\). We may in particular apply this to the global sections morphism, to express properties such as separatedness of a topos (cf. [25, Definition C3.2.12(b)]). However, a more detailed understanding of geometric morphisms between toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is needed to analyse these.

Relative properties Some properties of (Grothendieck) toposes are most succinctly expressed by the existence of geometric morphisms of a particular type to or from toposes with certain properties (see below for an example).

Categorical properties There are some categorical properties of Grothendieck toposes that ostensibly aren’t expressible in terms of the global sections morphism in a straightforward way, although they might be expressible in the relative sense above. These include every object having a certain property, or there being ‘enough’ (a separating set of) objects with a particular property.
Each of these classes merits a systematic study in its own right. We briefly mention illustrative examples of the latter two classes of properties, corresponding to more elementary and wellstudied properties of monoids.
We say that a Grothendieck topos \({\mathcal {E}}\) is an étendue if there is an object X of \({\mathcal {E}}\) such that the slice topos \({\mathcal {E}}/X\) is localic, i.e. such that \({\mathcal {E}}/X\) is equivalent to the category of sheaves on a locale. This can alternatively be stated as the existence of an atomic geometric morphism to \({\mathcal {E}}\) from a localic topos. By [25, Lemma C5.2.4], a presheaf topos \({{\,\mathrm{\mathbf {PSh}}\,}}({\mathcal {C}})\) is an étendue if and only if every morphism in the category \({\mathcal {C}}\) is a monomorphism. For a monoid M, it follows that \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is an étendue if and only if for all \(a,b,m \in M\), the equality \(ma=mb\) implies that \(a = b\). Monoids with this property are usually called left cancellative.
An object A of a topos is called decidable if the diagonal subobject \(A \hookrightarrow A \times A\) has a complement. In particular, if A is a right Mset, then A is decidable if for two distinct elements \(a,b \in A\) we have \(a \cdot m \ne b \cdot m\) for all \(m \in M\). Subobjects of decidable objects are again decidable. We say a topos is locally decidable if every object is a quotient of a decidable object. By [25, Remark C5.4.3], \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is locally decidable if and only if \({{\,\mathrm{\mathbf {PSh}}\,}}(M^{\mathrm {op}})\) is an étendue. So \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is locally decidable if and only if for all \(a,b,m \in M\), the equality \(am=bm\) implies that \(a = b\), which is to say that M is right cancellative, dually to the above.
In the other direction, there are some notable elementary properties of monoids which we have not yet found a topostheoretic equivalent for. The most basic is the left Ore condition, dual to Definition 2.31; of course, we could simply examine the category of left actions of our monoid, and dualize the results presented in this paper, but believe it will be more informative to seek a condition intrinsic to the topos of right actions, given the variety of equivalent conditions we reached in Theorem 2.32.
The internal logic of a topos is embodied in the structure of its subobject classifier. As we have seen, in \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) this is determined by the structure of the right ideals of M, but we have only tackled the most basic cases in which \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\) is a Boolean or de Morgan topos. There are therefore a wide array of algebraic or logical properties of the lattice of right ideals that demand further investigation.
Relativisation and Generalisation
In [35], an equivalence was demonstrated between the 2category of monoids, semigroup homomorphisms and ‘conjugations’ and the 2category of their presheaf toposes, essential geometric morphisms between these and geometric transformations. This means that we can just as systematically explore how properties of semigroup or monoid homomorphisms are reflected as properties of essential geometric morphisms between toposes of the form \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\). This is a direct extension of the work we have done in this article, since the unique homomorphism \(M \rightarrow 1\) corresponds under this equivalence to the global sections morphism of \({{\,\mathrm{\mathbf {PSh}}\,}}(M)\). More generally, we will be able to use the tensorhom expressions described in Sect. 1 for adjunctions between these toposes to give an algebraic interpretation of notnecessarilyessential geometric morphisms, as we did in Corollary 2.17. Since such tensorhom expressions exist for geometric morphisms between presheaf toposes more generally (see [31, Section VII.2]), toposes of monoid actions may provide a good context from which to build an algebraic analysis of geometric morphisms.
One direction that the authors are yet to work on is relativisation. Amongst internal categories in arbitrary toposes, monoids are naturally defined as those whose object of objects is the terminal object. Accordingly, one might be interested in examining toposes of internal right actions of internal monoids relative to a topos other than \(\mathbf {Set}\). While many of the results we obtain in this article were arrived at constructively or are expressed in a way that relativises directly, there are some which cannot be transferred directly into an arbitrary topos. For instance, our inductive construction of the submonoid rightfactorably generated by S in Lemma 2.11 requires the presence of a natural number object, while the application of Proposition 2.44 in Theorem 2.57 relies on the law of excluded middle. More significantly, the proof that condition 4 implies condition 5 in Theorem 2.25 explicitly relies on a form of the axiom of choice. This investigation will therefore be nontrivial, and it will be interesting to discover the relative analogues of the results presented here.
Change history
22 February 2021
Funding information was updated
Notes
Not to be confused with the coherence spaces appearing in linear logic.
For want of a better name: given the negative results of this section, we have been unable to obtain enough useful intuition about this condition in order to inform the name.
References
Adámek, J., Koubek, V., Velebil, J.: A duality between infinitary varieties and algebraic theories. Comment. Math. Univ. Carolin. 41(3), 529–541 (2000)
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press, Cambridge (1994)
Adámek, J., Rosický, J., Vitale, E.M.: What are sifted colimits? Theory Appl. Categ. 23(13), 251–260 (2010)
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
BulmanFleming, S.: Pullbackflat acts are strongly flat. Can. Math. Bull. 34(4), 456–461 (1991)
BulmanFleming, S., Laan, V.: Tensor products and preservation of limits, for acts over monoids. Semigroup Forum 63(2), 161–179 (2001)
Bunge, M., Funk, J.: Singular Coverings of Toposes. Lecture Notes in Mathematics, vol. 1890. Springer, Berlin (2006)
Caramello, O.: Theories, Sites, Toposes. Oxford University Press, Oxford (2018)
Carboni, A., Vitale, E.M.: Regular and exact completions. J. Pure Appl. Algebra 125(1–3), 79–116 (1998)
Clark, P.L.: Commutative Algebra. http://alpha.math.uga.edu/~pete/expositions2012.html (2015). Online notes
Connes, A., Consani, C.: \(\overline{{{\rm Spec}} ({\mathbb{Z}})}\) and the Gromov norm. preprint (2019). arXiv:1905.03310
Connes, A., Consani, C.: The arithmetic site. C. R. Math. Acad. Sci. Paris 352(12), 971–975 (2014)
Connes, A., Consani, C.: Geometry of the arithmetic site. Adv. Math. 291, 274–329 (2016)
Dandan, Y., Gould, V., QuinnGregson, T., Zenab, R.: Semigroups with finitely generated universal left congruence. Monatsh. Math. 190(4), 689–724 (2019)
Freyd, P.J., Scedrov, A.: Categories, Allegories, NorthHolland Mathematical Library, vol. 39. NorthHolland Publishing Co., Amsterdam (1990)
Geroldinger, A., HalterKoch, F.: Nonunique factorizations: a survey. In: Brewer, J.W., Glaz, S., Heinzer, W., Olberding, B. (eds.) Multiplicative Ideal Theory in Commutative Algebra, pp. 207–226. Springer, New York (2006)
Gleason, A.M.: Projective topological spaces. Illinois J. Math. 2, 482–489 (1958)
Golan, J.S.: Semirings and Their Applications. Kluwer Academic Publishers, Dordrecht (1999)
Hemelaer, J.: An arithmetic topos for integer matrices. J. Number Theory 204, 155–184 (2019)
Hemelaer, J.: A topological groupoid representing the topos of presheaves on a monoid. Appl. Categ. Struct. 28, 749–772 (2020)
Hochster, M.: Prime ideal structure in commutative rings. Trans. Am. Math. Soc. 142, 43–60 (1969)
Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series, vol. 12. The Clarendon Press, New York (1995)
Janelidze, G.: Categorical Galois theory: revision and some recent developments. In: Denecke, K., Erne, M., Wismath, S.L. (eds.) Galois Connections and Applications, Mathematics and Its Applications, vol. 565, pp. 139–171. Kluwer Academic Publishers, Dordrecht (2004)
Johnstone, P.: Remarks on punctual local connectedness. Theory Appl. Categ. 25(3), 51–63 (2011)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. The Clarendon Press, Oxford (2002)
Kilp, M., Knauer, U., Mikhalev, A.V.: Monoids, Acts and Categories, De Gruyter Expositions in Mathematics, vol. 29. Walter de Gruyter & Co., Berlin (2000)
Kobayashi, Y.: The homological finiteness property \({\rm FP}_1\) and finite generation of monoids. Int. J. Algebra Comput. 17(3), 593–605 (2007)
Lawvere, F.W., Menni, M.: Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Theory Appl. Categ. 30, 909–932 (2015). Paper No. 26
William Lawvere, F.: Axiomatic cohesion. Theory Appl. Categ. 19(3), 41–49 (2007)
Le Bruyn, L.: Three arithmetic sites, preprint (2020). arXiv:2003.01387
Lane, S.M., Moerdijk, I.: Sheaves in Geometry and Logic, Universitext. SpringerVerlag, New York (1994)
Manin, Y.: Lectures on zeta functions and motives (according to Deninger and Kurokawa), Astérisque, no. 228, 4, 121–163 (1995). In: Columbia University Number Theory Seminar (New York, 1992)
Menni, M.: Continuous cohesion over sets. Theory Appl. Categ. 29(20), 542–568 (2014)
Pirashvili, I.: Topos points of quasicoherent sheaves over monoid schemes. In: Mathematical Proceedings of the Cambridge Philosophical Society (2019)
Rogers, M.: Toposes of discrete monoid actions, preprint (2019). arXiv:1905.10277
Sagnier, A.: An arithmetic site at the complex place. J. Number Theory 212, 173–202 (2020)
Sedaghatjoo, M., Khaksari, A.: Monoids over which products of indecomposable acts are indecomposable. Hacet. J. Math. Stat. 46(2), 229–237 (2017)
Acknowledgements
The second named author was supported in this work by INdAM and the Marie SklodowskaCurie Actions as a part of the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie SklodowskaCurie Actions. We would like to thank the organisers of the sixth Symposium on Compositional Structures conference (SYCO6) in Leicester, UK in 2019 and the Topics in Category Theory School in Edinburgh, UK in 2020 for giving us the opportunity to present early versions of this work. We would also like to thank Olivia Caramello for facilitating our collaboration on this work and for her useful insights, and to appreciate the enthusiastic correspondence from Steve Vickers following the presentation at SYCO6.
Funding
Open access funding provided by Università degli Studi dell’Insubria within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jirí Rosický
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hemelaer, J., Rogers, M. Monoid Properties as Invariants of Toposes of Monoid Actions. Appl Categor Struct 29, 379–413 (2021). https://doi.org/10.1007/s1048502009620y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1048502009620y
Keywords
 Topos
 Presheaves
 Monoid
 Flat
 Projective
 Semigroup
 Local
 Strongly compact
 Colocal
 Totally connected
 Strongly connected
 de Morgan
 Cohesive