References
Kittenlab lecture notes
Introduction
Lecture 1: Formal Math
Lecture 2: The Category Theory of Finite Sets
Lecture 3: Category Theory
Lecture 4: Functors
Lecture 5: A Variety of Categories and Functors
Lecture 6: Path categories and functors as data structures
Lecture 7: Natural Transformations
Lecture 8: Universal Mapping Properties
Lecture 9: Colimits
Lecture 10: Representables revisited
Lecture 11: Adding and squishing
Lecture 12: That’s Yoneda, Babe
Lecture 13: Products and typed products
Lecture 14: Relations
Lecture 15: Cospans
References
References
Lecture 15: Cospans