Category Theory For Beginners: Products
In this video we explain how to define the categorical product, by starting with the Cartesian product in set theory. We see the categorical product in action within preordered sets, and see how the greatest common divisor emerges as an example. We also define the product of monoids, and the product of categories. We also show that any two categorical products of a given pair of objects will be isomorphic to each other.
▶︎
Category Theory For Beginners: Duality And Functors
▶︎
(Co)Products: motivating category theory
▶︎
A Sensible Introduction to Category Theory
▶︎
Programming with Categories - Lecture 1
▶︎
Category Theory For Beginners: Limits
▶︎
Category Theory 3.1: Examples of categories, orders, monoids
▶︎
Category Theory for Neuroscience (pure math to combat scientific stagnation)
▶︎
Tutorial on Category Theory: Part 1 – Pure and Classical
▶︎
Universal Construction | Category Theory and Why We Care 1.2
▶︎
David Spivak - Category Theory - Part 1 of 6 - λC 2017
▶︎
Category Theory, The essence of interface-based design - Erik Meijer
▶︎
Category theory (2022-23): Lecture 1
▶︎
Category Theory 4.2: Products
▶︎
∞-Category Theory for Undergraduates
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Category Theory For Beginners: Functors And The Category Of Categories
▶︎
Categories 1 Introduction
▶︎
Products and coproducts 1
▶︎
What A General Diagonal Argument Looks Like (Category Theory)
▶︎