1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Dover Publications (2009)
2. Lecture Notes in Computer Science;L Bachmair,1986
3. Barr, M., Wells, C.: Category theory for Computing Science. Prentice Hall, Hoboken (1990)
4. Lecture Notes in Computer Science;N Behr,2021
5. Borceux, F.: Handbook of Categorical Algebra: Volume 3, Sheaf Theory, Cambridge University Press, Cambridge (1994)