Category Theory III 7.2, Coends
8.2K views6 years ago
Category Theory III 7.1, Natural transformations as ends
4.7K views6 years ago
Category Theory III 6.2, Ends
4.4K views6 years ago
Category Theory III 6.1, Profunctors
4.7K views6 years ago
Category Theory III 5.2, Lawvere Theories
4.5K views6 years ago
Category Theory III 5.1, Eilenberg Moore and Lawvere
4.6K views6 years ago