Raymond Puzio --- A Gentle Introduction to Synthetic Differential Geometry - Part 1.
1:16:01
Calculus 1 Lecture 2.1: Introduction to the Derivative of a Function
1:15:19
Lecture 1: Basic Banach Space Theory
18:36
M121 College Algebra: 2.3 Factoring Strategies and Zero Product Property
10:32
What is category theory?
1:09:16
Sam McCrosson --- Exodromy.
1:20:22
Sina Hazratpour --- Fibred Categories in Lean.
1:17:59
Bruno Gavranović --- Categorical Deep Learning: An Algebraic Theory of Architectures.
13:43