1. Cartesian closed categories, quasi-topoï and topological universes;Adamek;Comment. Mat. Univ. Carolin.,1986
2. Exact categories;Barr,1971
3. Toposes, Triples and Theories;Barr,1985
4. Subobject classifier for algebraic structures;Borceux;J. Algebra,1988
5. F. Borceux and M. C. Pedicchio, A remark on categories of separated objects, to appear.