1. A. Asperti, G. Longo, Categories, Types and Structures (MIT Press, Cambridge, MA, 1991)
2. S. Awodey, Category Theory (Oxford University Press, Oxford, 2010)
3. J.L. Bell, From absolute to local mathematics. Synthese 69, 409–426 (1986)
4. J.L. Bell, Toposes and Local Set Theories: An Introduction (Clarendon, Oxford, 1988)
5. J.L. Bell, The development of categorical logic, in Handbook of Philosophical Logic, ed. by D. Gabbay and F. Guenthner (Springer, New York), vol 12 (2005), pp. 279–361