Category Theory Lesson 2: Basics of Categorical Abstraction | Dark Hacker News