Channel Avatar

Richard Southwell @UCHAtzWEoegu7Z5zEVzjOM_Q@youtube.com

15K subscribers - no pronouns :c

Videos on a wide range of topics including complex networks,


01:41:09
Category Theory For Beginners: Open Dynamical Systems
16:26
My Perspective On Category Theory: Past and Future
02:20:33
Higher Category Theory For Beginners With Homotopy io
49:37
Visual Mathematics : New Course
01:10:22
Learning To Code In Lean 4 With A Friend: Structure And Recursion
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
02:25:50
Category Theory For Beginners: Fibrations and Lenses
03:14:41
Category Theory For Beginners: Abstract Algebra
01:40:50
Category Theory For Beginners: All Concepts
01:07:57
What is a Manifold ? - Intuition and Definition
01:39:36
Category Theory For Beginners: Representable Functors
01:57:54
Enriched Category Theory For Beginners
02:08:20
Category Theory For Beginners: Monads
29:52
Seven ways to visualize functions
01:30:47
Category Theory For Beginners: Cooking, Monoidal Categories and Programming
02:06:03
Smooth Spaces 3: Map Spaces, Calculus, and Dynamics
02:10:42
Smooth Spaces 2: Axioms Of Synthetic Differential Geometry
32:31
Smooth Spaces 1: Introduction To Synthetic Differential Geometry
05:25:53
Category Theory For Beginners: Kan Extensions
02:21:01
Category Theory For Beginners: Synthetic Differential Geometry
07:23:16
Category Theory For Beginners: Internal Language of a Topos (Mitchell-Bénabou Language)
06:03:24
Category Theory For Beginners: Topos Theory Essentials
02:52
My New Category Theory Book !
01:56:15
Category Theory For Beginners: Understanding Pullbacks
03:53:57
Category Theory For Beginners: Elementary Machinery
01:54:55
Category Theory For Beginners: Special Arrows
59:28
High Dimensional Geometry Of Everyday Motion (Visualizing Projectiles in 5D)
02:27:51
Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris
12:44
Duality, Projective Geometry And Circle Inversion
02:37:00
Foundations 7: Dependent Type Theory
02:14:49
Foundations 6: Simple Type Theory
55:03
Foundations 5: Intuitionistic Logic and Type Theory
01:14:28
Foundations 4: Logic and Partially Ordered Sets
01:41:25
Foundations 3: Universal Constructions
53:00
Foundations 2: Category Theory
25:53
Foundations 1: Introduction to Mathematics
31:41
One Million View Special: My Favorite Books !
03:37:02
Category Theory For Beginners: Exponential Objects
04:42:31
Category Theory For Beginners: Topos Theory And Subobjects
03:24:28
Category Theory For Beginners: Adjoint Functors
02:57:33
Category Theory For Beginners: Yoneda Lemma
01:29:31
Category Theory For Beginners: Graphs And Dynamical Systems
40:53
Category Theory For Beginners: Knowledge Representation
33:47
Category Theory For Beginners: Everyday Language
01:23:34
Category Theory For Beginners: Limits
19:01
Category Theory For Beginners: Mind Map
01:11:43
Category Theory For Beginners: Natural Transformations
01:12:37
Category Theory For Beginners: Universal Properties
01:07:25
Category Theory For Beginners: Duality And Functors
55:58
Category Theory For Beginners: Products
46:48
Category Theory For Beginners: Functors And The Category Of Categories
57:56
Category Theory For Beginners: Introduction
09:41
Why does the golden ratio appear everywhere ?
21:55
Rational Numbers From Projective Geometry
03:24
Rational Numbers Represented By Nested Circles
04:09
Number Theory Using Circles
11:15
Ecosystem Modeling With Mizer 11: Accessing Github
02:21
Ecosystem Modeling With Mizer 1: About This Tutorial
22:06
Ecosystem Modeling With Mizer 3: The Concepts Behind Mizer
02:05
Ecosystem Modeling With Mizer 0: Introduction