# Category Theory in Computer Science

*Category Theory in Computer Science* will commence at Kutaisi International University on February 21, 2024. The sessions will be held on Tuesdays 20:00-21:30, in auditorium G7. The seminar is designed for mathematics and computer science bachelor students, with the goal of identifying common ground between the two fields.

Some literature:

- For classical mathematical source, find
*Categories for the working mathematician*by Saunders Mac Lane. Graduate Texts in Mathematics, 5. Springer-Verlag, New York, 1998. xii+314 pp. ISBN: 0-387-98403-8 - For a nice mathematical approach rich with examples, see
*Category Theory in Context*by Emily Riehl. - For the very brief introduction (also rich with relevant examples and exercises) for Computer science students, see
*Category Theory for Programming*by Benedikt Ahrens and Kobe Wullaert.