books.google.com - Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given...https://books.google.com/books/about/Categories_and_Computer_Science.html?id=QBjAZ_HwYZMC&utm_source=gb-gplus-shareCategories and Computer Science