Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added a number of facts and proofs to connected topos, and shortened the example since it is a special case of the general fact about connected locally connected sites.
added to connected topos the (easy) fact that for $\mathcal{E}$ a connected and locally connected topos and $X \in \mathcal{E}$ a connected object, then also the slice topse $\mathcal{E}/X$ is connected and locally connected.
1 to 2 of 2