Category Theory For Beginners: Functors And The Category Of Categories
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.
▶︎
Category Theory For Beginners: Products
▶︎
A Sensible Introduction to Category Theory
▶︎
The Mathematician's Weapon | Category Theory and Why We Care 1.0
▶︎
Category Theory 2.1: Functions, epimorphisms
▶︎
Category Theory For Beginners: Limits
▶︎
Tutorial on Category Theory: Part 1 – Pure and Classical
▶︎
(Co)Products: motivating category theory
▶︎
Category Theory for Neuroscience (pure math to combat scientific stagnation)
▶︎
Universal Construction | Category Theory and Why We Care 1.2
▶︎
Category Theory 9.1: Natural transformations
▶︎
A Crash Course in Category Theory - Bartosz Milewski
▶︎
David Spivak - Category Theory - Part 1 of 6 - λC 2017
▶︎
The Language of Categories | Category Theory and Why We Care 1.1
▶︎
Programming with Categories - Lecture 1
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
▶︎
Category Theory, The essence of interface-based design - Erik Meijer
▶︎
A gentle introduction to category theory
▶︎
Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)
▶︎
What is category theory?
▶︎