Category Theory Courses
IMSA via YouTube Combinatorial Approach to Categorical Möbius Inversion and Magnitude
Applied Algebraic Topology Network via YouTube Category Theory
Indian Institute of Technology Kanpur via Swayam Formalizing Infinity-Category Theory in the Rzk Proof Assistant
Hausdorff Center for Mathematics via YouTube Polynomial Functors Formalization Report
Hausdorff Center for Mathematics via YouTube A Categorical Account of the Setoid Model
Hausdorff Center for Mathematics via YouTube Doctrines for Formal Mathematics
Hausdorff Center for Mathematics via YouTube Introduction to Recursion Schemes - YOW! 2018
GOTO Conferences via YouTube Categories, Axioms, and Constructions in SageMath - Modeling Mathematics for Fun and Profit
Hausdorff Center for Mathematics via YouTube Unavoidable Mathematics - Exploring Derived Concepts from Simple Theories
Hausdorff Center for Mathematics via YouTube