1. P. Aczel, Non-well-founded sets, CSLI Lecture Notes No. 14, Center for the Study of Lnaguages and Information, Leland Stanford Junior University, 1988.
2. M.S. Calenko, The structures of correspondence categories, Soviet Math. Dokl. 18 (1977), 1498–1502.
3. P. Freyd and A. Scedrov, Categories, allegories, North-Holland, Amsterdam, 1990.
4. R. Goldblatt, Topoi, The categorial analysis of logic, North-Holland, Amsterdam, 1979.
5. P.T. Johnstone, Topos theory, Academic Press, London, 1977.