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.

]]>Created localic geometric morphism and hyperconnected geometric morphism.

]]>