1. Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Publications CRM, Montreal (1999)
2. Borceux, F.: Handbook of Categorical Algebra Volumes 1–3. Cambridge University Press, Cambridge (1994)
3. Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1989)
4. Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland, Amsterdam (1984). Reprinted by Dover Books, 2006.
5. Herrlich, H., Strecker, G.: Category Theory, 3rd edn. Heldermann, Berline (2007)