1. On locally simply connected toposes and their fundamental groups;Barr;Cah. Top. Géom. Diff. Cat.,1981
2. Groupoids and Van Kampen's theorem;Brown,1967
3. Topology: A Geometric Account of General Topology, Homotopy Types, and the Fundamental Groupoid;Brown,1988
4. Decidable (= separable) objects and morphisms in lextensive categories;Carboni;J. Pure Appl. Algebra,1996
5. A. Carboni, G. Janelidze, G.M. Kelly and R. Paré, On localisation and stabilisation theorems for factorisation systems, Appl. Categorical Struct., to appear.