1. Adámek, J., and Rosicky, J. (1994).Locally Presentable and Accessible Categories, Cambridge University Press, Cambridge.
2. Artin, M., Grothendieck, A., and Verdier, J. L. (1972).Théorie des Topos et Cohomologie etale des Schémas, Springer-Verlag, Berlin.
3. Barr, M., and Wells, C. (1990).Category Theory for Computing Science, Prentice Hall, London.
4. Bastiani, A., and Ehresmann, C. (1972). Categories of sketched structures,Cahiers de Topologie et Geometrie Differentielle Categoriques,13, 104–215.
5. Bell, J. L. (1988).Toposes and Local Set Theories, Oxford University Press, Oxford.