1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and concrete categories. Wiley-Interscience, New York (1990)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
3. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)
4. Lecture Notes in Mathematics;J. Beck,1969
5. Burns, A., O’Brien, J., Ames, D.: Dementia, 3rd edn. Hodder Arnold (2005)