Category Theory in Computer Science

Category Theory in Computer Science. The seminar at Kutaisi International University. Designed for mathematics and computer science bachelor students, with the goal of identifying common ground between the two fields.