. . "If CC is a category with all finite limits and if the unique functor ??:C???*\\pi \\colon C o \\ast to the terminal category preserves covers (for *\\ast equipped with the trivial topology/coverage) then Sh(C)Sh(C) is locally connected." . .