Category theory for computer scientists
(2024-2025) - CR15
2nd part
Lecture 11 (Oct. 17th)
Lecture 12 (Oct. 21st)
Lecture 13 (Oct. 24th)
Lecture 14 (Nov. 4th)
Lecture 15 (Nov. 7th)
References
Course in 2023-2024
Categories for me
Categorical Interpretations of Logics