Category Theory For Beginners: All Concepts

Category Theory For Beginners: All Concepts

5.695 Lượt nghe
Category Theory For Beginners: All Concepts
We start by recapping Kan extensions. Next we cover free cocompletion and Yoneda extensions. We show how these ideas give us the density theorem and weighted colimits and copowering. We finish by showing how these ideas allow us to understand composition of profunctors via coends.