u/lambdaheartsin r/haskell • Recommends
Category Theory For Beginners: Functors And The Category Of Categories
0:00 / 0:00
#categorytheory#functor#monoid
Category Theory For Beginners: Functors And The Category Of Categories
Richard Southwell
18K subscribers • 2 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Richard Southwell
Beginner. No background in the topic needed.
30K views7 years ago1 recommendation
Computer scienceComputation and complexityMath for programmers
Richard Southwell introduces functors, isomorphisms, and structured categories like monoids and preordered sets.
In this video I introduce more categories of structured sets (the category of graphs, and Mon the category of monoids, and Pre, the category of preordered sets). I also define isomorphisms in category theory. I also define functors between categories, and discuss the category of categories which is called Cat. I was going to define categorical products in this video, but I will save that for the next video.Why it's here
1 person recommends thisWhat people say. Recommended as an introductory lecture on category theory concepts like functors and the category of categories.