On locally simply connected toposes and their fundamental groups Michael Barr; Radu Diaconescu — 1981 Cahiers de Topologie et Géométrie Différentielle Catégoriques