# Need help understanding a topos theory proof (any topos generated by subobjects of 1 in whose subobject lattices are complete and Boolean satisfies AC)

Hi all, I'm reading Mac Lane & Moerdijk's book "Sheaves in Geometry and Logic" and I don't understand a proof; sorry if this is the wrong place to ask, if there's somewhere better please let me know.

The proof in question is of Proposition VI.1.8 (page 276 in the paperback), which states:

Let $\mathcal{E}$ be a topos which is generated by subobjeccts of $1$, and moreover has the property that for each object $E$, $\mathrm{Sub}(E)$ is a complete Boolean algebra. Then $\mathcal{E}$ satisfies the axiom of choice.

Here the axiom of choice is the statement that any epimorphism $p: X \to I$ has a section $s: I \to X$, i.e. $ps = 1_I$. The proof starts as follows:

Let $p: X \to I$ be an epimorphism in $\mathcal{E}$. By completeness of $\mathrm{Sub}(I)$, we can apply Zorn's lemma and find a maximal subobject $m: M \to I$ such that $p$ has a section $s: M \to X$, i.e., $ps = m$.

I don't see how to show that Zorn's lemma applies here. Presumably I need to show that, given a linearly ordered set of subobjects $m_i: M_i \to I$ of $I$, $m_i = m_j k_{ij}$ for some $k_{ij}: M_i \to M_j$ whenever $m_i \leq m_j$, together with a set of sections $s_i: M_i \to X$ such that $p s_i = m_i$, $s_j k_{ij} = s_k$, there exists a section $s: M \to X$ such that $ps= m$, where $m: M \to I$ is the least upper bound in $\mathrm{Sub}(I)$ of the $m_i$'s, and such that the restriction of $s$ to each $M_i$ is $s_i$. It seems plausible that $m: M \to I$ will turn out to be a colimit in $\mathcal{E}/I$ of the collection $m_i: M_i \to I$, from which the required result would follow easily, but I don't know how to prove this. Can anybody help?

-

I'll try to show that a filtered colimit of a diagram of subobjects is still a subobject, which I suppose should include your linearly ordered diagram as a special case.

A map $X\to I$ is a subobject (i.e., a monomorphism), if and only if the projection maps $X\times_I X\to X$ from the fiber product to either of the factors are isomorphisms. If I have a family $X_i\to I$ of such monomorphisms indexed by a filtered category $C$, then $\mathrm{colim}_{i\in C} X_i \to \mathrm{colim}_{i\in C} I$ has to be monomorphism, since filtered colimits preserve finite limits, and because $\mathrm{colim}_{i\in C}I \approx I$ since $i\mapsto I$ is a constant diagram on the filtered category $C$.

(Possibly, when I say "filtered", I really mean "cofiltered". Can't figure out which is which.)

Added. I was thinking about a Grothendieck topos, which is cocomplete. But it seems you (and Moerdijk and Mac Lane) want a proof which works in an elementary topos, and I don't know what to do in that case.

The key line in the proof seems to be "By completeness of $\mathrm{Sub}(I)$ ..." Presumably, if $\mathrm{Sub}(I)$ is complete, we can form arbitrary "intersections" of subobjects; so $\mathrm{colim} X_i$ should be the intersection of all subobjects $Y$ of $I$ which contain all the $X_i$'s.

I don't know why $\mathrm{Sub}(I)$ should be complete in an elementary topos. It is mentioned (for instance, on p. 491) that in a cocomplete topos $\mathrm{Sub}(I)$ is a Heyting algebra, so is complete. So the proof should work in that case.

-
Sorry if I'm being thick, but I don't follow your reply. Are the colimits you refer to those in the original topos $\mathcal{E}$? If so then how do I know that they exist? The completeness of the subobject lattices shows that the corresponding colimits exist in $\mathrm{Sub}(I)$; I don't see how it follows that $\mathcal{E}$ itself has all relevant colimits. –  Phil Wild Sep 12 '10 at 17:46
Ah, I was thinking of a Grothendieck topos. So "topos" means "elementary topos" here? –  Charles Rezk Sep 12 '10 at 19:02