1. J. Adámek, H. Herrlich, and G.E. Strecker:Abstract and Concrete Categorie? (Wiley, New York 1990).
2. Lecture Notes in Mathematics;M. Barr,1971
3. M. Barr and C. Wells:Category Theory for Computing Science (Prentice Hall, New York 1990).
4. J. Bénabou: Fibred categories and the foundations of naive category theory,J. Symbolic Logic 50 (1985), 10?37.
5. J. Bénabou and J. Roubaud: Monades et descente,C.R. Acad. Sc. 270 (1970), 96?98.