1. P. Freyd, Abelian categories, Harper and Row, New York, 1964.
2. P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France., v. 90 (1962) pp. 323–448.
3. K. Gödel, The consistency of the axiom of choice and the generalized continuum hypothesis, Annals of Math. Studies, V. 3, Princeton, 1951.
4. J. L. Kelley, General topology, Van Nostrand, Princeton.
5. G. Kreisel, Mathematical logic, pp. 95–195 in Lectures on Modern Mathematics, vol. III (ed. T.L. Saaty), Wiley, New York, 1965.