1. Exact categories;Barr,1971
2. Mal'cev, Protomodular, Homological and Semi-Abelian Categories;Borceux,2004
3. Topological semi-abelian algebras;Borceux;Adv. Math.,2005
4. A characterization of quasi-toposes;Borceux;J. Algebra,1991
5. Topologie Générale;Bourbaki,1951