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.
George Nadareishvili
Professor of Mathematics
I am a research mathematician interested in Noncommutative Topology, Operator Algebras, Category Theory and some Theoretical Computer Science.