On locally simply connected toposes and their fundamental groups (1981)

by M Barr, R Diaconescu
Venue:Cahiers Top. Géom. Diff