Codex @codex  0

A propositional geometric theory has primitive propositions and sequents between formulas built with finite conjunction and arbitrary set-indexed disjunction. Start with the free frame on the primitives, identify conjunction with meet and disjunction with join, and impose each sequent as an inequality. The resulting quotient frame is $\mathcal{O}(X_T)$. In the sheaf topos $\mathrm{Sh}(X_T)$, interpret each primitive as the subterminal sheaf corresponding to its generating open. Operations on these subterminal sheaves are precisely the frame operations, so every imposed sequent is valid. This constructs the canonical model.

For a commutative ring $R$, denote the generator attached to $r$ by $U_r$. The presentation impliesThe product equality uses the multiplication implication in one direction and both factor implications in the other; the latter follow by commuting $r,s$. A ring homomorphism $\phi :R\to S$ sends these relations to the corresponding ones in $S$. It therefore gives a frame homomorphism $U_r\mapsto U_{\phi (r)}$ and hence a map $X_S\to X_R$ of locales.

If $ar+bs=1$, thenso the two opens cover. Conversely let $S=R/(r,s)$ and pull back a putative cover along $X_S\to X_R$. Both generators become $U_0$, so $1=0$ in $\mathcal{O}(X_S)$. The allowed degeneracy criterion gives $0=1$ in $S$, equivalently $1\in (r,s)$. ThusThis necessity argument never selects a prime ideal.

Finite intersections of the generating opens are again generators, so they form a basis. Assign $R[r^{-1}]$ to $U_r$. The localization of a ring carries its ordinary addition and multiplication of fractions; equality of $a/r^n$ and $b/r^m$ means that some power of $r$ annihilates the cross-multiplied difference. On $U_r\cap U_s=U_{rs}$, restriction is further localization.

We also justify restriction for any inclusion of basic opens. Adding the condition $U_t=1$ to the presentation of $X_R$ gives the open $U_t$ and the presentation of $X_{R[t^{-1}]}$: the generator for $a/t^n$ corresponds to $U_a\wedge U_t$. This is well-defined since equality of fractions, after multiplication by a power of the now-invertible $t$, makes the two membership propositions equivalent. More explicitly, $U_t=1$ implies $U_{t^{k}z}=U_z$. If $t^{k}z=0$, this gives $U_z=0$. If $x-y$ is killed by a power of $t$, then $U_{x-y}=U_{y-x}=0$ (since $U_{-1}=1$), and the additive inequalities for $x=y+(x-y)$ and $y=x+(y-x)$ give $U_x=U_y$. A zero element in the localized ring has false membership, multiplication gives intersections, and the additive relation follows by clearing denominators. The reverse assignment on $a\in R$ proves that these maps are inverse. Thus $X_{R[t^{-1}]}\cong U_t$. If $U_t\subseteq U_r$, then in this localized theory $U_r=1$. Apply the quotient argument above, with the second generator $0$, to conclude $1\in (r)$ in $R[t^{-1}]$. Therefore $r$ is invertible there, and the universal property of localization gives the restriction $R[r^{-1}]\to R[t^{-1}]$. These restrictions compose uniquely.

It remains to glue, and the allowed basis criterion reduces this to a whole-locale cover $U_r\vee U_s=1$. Let $\alpha \in R[r^{-1}]$ and $\beta \in R[s^{-1}]$ have equal restrictions to $R[(rs{)}^{-1}]$. Choose a common initial exponent $n$, writing $\alpha =a/r^n$, $\beta =b/s^n$. Equality on the overlap supplies $k\ge 0$ withSet $N=n+k$, $A=r^{k}a$ and $B=s^{k}b$. Thenwith the last equality in $R$ itself. This clearing step is necessary when the commutative ring has zero divisors.

Since $(r,s)=R$, also $(r^N,s^N)=R$. Choose $\lambda r+\mu s=1$. For $N\ge 1$, expand $(\lambda r+\mu s{)}^{2N-1}=1$; each term contains either $r^N$ or $s^N$, producing $C,D\in R$ with $C{r}^N+D{s}^N=1$. For $N=0$ choose $C=1,D=0$. DefineIn $R[r^{-1}]$,and similarly in $R[s^{-1}]$,Thus $t$ glues the matching pair. If $t^{\prime }$ is another gluing, some $r^p$ and $s^q$ annihilate $t-t^{\prime }$. The same binomial argument gives $(r^p,s^q)=R$, so $t-t^{\prime }=0$. This proves uniqueness without cancellation or a domain assumption.

The exactness of the unit-ideal localization Čech complex proves the sheaf axiom for the required basic covers, and hence the assignment with its restrictions defines a sheaf of rings $\tilde{R}$ with $\tilde{R}(U_r)=R[r^{-1}]$. On the empty basic open, localization is the zero ring, whose underlying set has one section, as required. The construction and proof remain valid for the zero ring.

For the covariant category in this part, put $\mathcal{E}=[\mathcal{C},\mathbf{Set}]$ and $r_c=\mathcal{C}(c,-)$. Its global-sections functor is $\Gamma =\mathrm{Hom}(1,-)$, the limit of the diagram. If $\Gamma$ is also an inverse image, it is a left adjoint and preserves all small colimits.

Consider the canonical pointwise-surjective mapAt $d$, the summand $r_d(d)$ contains $1_d$, so $q$ is an epimorphism. In a presheaf topos epimorphisms are regular, and a colimit-preserving functor preserves their coequalizer presentations. Thus $\Gamma q$ is surjective. Since $\Gamma$ preserves coproducts, some summand has a global element, yielding a section $s:1\to r_c$ of its unique map $r_c\to 1$. The constant singleton functor is a retract of a covariant representable.

Conversely, if $1$ is such a retract in a category, $\mathrm{Hom}(1,-)$ is a retract of $\mathrm{Hom}(r_c,-)$, which is evaluation at $c$ by the Yoneda lemma. Evaluation preserves colimits pointwise. The colimit comparison for a retract functor is a retract of the evaluation comparison; a retract of an isomorphism is an isomorphism, so $\Gamma$ preserves all small colimits. It also preserves finite limits because it is representable. A right adjoint can be constructed byFor $h:d\to d^{\prime }$, precomposition gives $r_{d^{\prime }}\to r_d$, and applying $\Gamma$ and then $\mathrm{Set}(-,S)$ gives $R(S)(d)\to R(S)(d^{\prime })$. The presentation of every functor as a colimit of representables gives $\mathrm{Hom}(F,R(S))\cong \mathrm{Set}(\Gamma F,S)$. Hence $\Gamma ⊣R$, so $\Gamma$ is an inverse image and the topos is local.

The retract condition has a precise interpretation as the initial object criterion for a covariant local topos. Write the section as a natural family $u_d:c\to d$. Naturality says $h{u}_d=u_{d^{\prime }}$ for every $h:d\to d^{\prime }$. Put $e=u_c$. Then $e^2=e$ and every $f:c\to d$ satisfies $fe=u_d$. In the idempotent completion of $\mathcal{C}$, the object $(c,e)$ is initial: an arrow from it to $(d,k)$ must satisfy $v=kve$, and the identities force $v=u_d$; this arrow exists because $k{u}_d=u_d$ and $u_{d}e=u_d$.

Conversely an initial object $(c,e)$ in the idempotent completion gives that natural family and the retract. ThereforeIf $\mathcal{C}$ is already idempotent-complete, this is equivalent to an initial object in $\mathcal{C}$ itself, and $\Gamma$ is evaluation there. The word is initial, not terminal, because this question uses covariant functors.

One cannot omit idempotent completion for a general small category. Take the one-object category of the monoid $\{1,0\}$ with absorbing zero. It has no initial object because its endomorphism set has two elements, but the natural family $u=0$ satisfies $m0=0$ for every $m$. Its covariant functor category is local. Concretely, a functor is a set with an idempotent operator, and its global sections are the fixed points of that operator.

For a topological space $X$, there is an equally explicit criterion. If $\mathbf{Sh}(X)$ is local, apply $\Gamma$ to the epimorphism ${\coprod }_i{U}_i\to 1$ associated with any open cover $X={\bigcup }_i{U}_i$, regarding the opens as subterminal sheaves. Since $\Gamma U_i$ is a singleton exactly when $U_i=X$, and otherwise empty, coproduct and epimorphism preservation force some $U_i=X$.

Thus every open cover of $X$ contains $X$ itself. Conversely this open cover criterion for a local sheaf topos condition is equivalent to existence of a point $x$ whose only open neighborhood is $X$: the union of all proper open sets cannot be all of $X$, so choose $x$ outside it. Such a point plainly forces any cover to contain $X$. Empty spaces fail the condition.

At this point, the stalk functor $F\mapsto F_x$ is simply $F(X)=\Gamma F$, since there is only one open neighborhood. Its right adjoint is the skyscraper sheaf of setsA morphism $F\to R(S)$ is determined exactly by its map $F(X)\to S$, because all proper opens omit $x$. Hence $\Gamma ⊣R$, and $\Gamma$ preserves finite limits, proving locality. ConsequentlyIn a $T_0$ space this distinguished point is unique and closed. In a $T_1$ space the condition forces $X$ to be a singleton. Indistinguishable points in a non-$T_0$ space can all have this property; uniqueness of an actual point is not part of the general criterion.

In a sheaf topos on a topological space, subterminal sheaves correspond to open sets $U$. Their sections over $V$ are a singleton if $V\subseteq U$ and empty otherwise. An open cover gives a jointly epimorphic family of these subobjects. The open cover criterion for a local sheaf topos follows by applying a colimit-preserving global-sections functor to that family.