Richard Southwell

Category Theory For Beginners: Functors And The Category Of Categories

FPG7 Pappuss Theorem Proof

Complex Network Growth And Chaos From A Simple Rewrite Model

Complex Networks From Simple Rules

Topology For Beginners: Projective Plane

Visual Mathematics : New Course

Projective Geometry 5 Axioms, Duality and Projections

What Is A Circle ?

Foundations 5: Intuitionistic Logic and Type Theory

Foundations 6: Simple Type Theory

Complex Networks, Simple Rules

Complex Networks, Simple Rules: Life, The Universe and Everything!

Category Theory For Beginners: Monads

Collatz Conjecture: Fractals, Networks, And Harder Problems

My Perspective On Category Theory: Past and Future

Foundations 1: Introduction to Mathematics

Category Theory For Beginners: Synthetic Differential Geometry

Learning To Code In Lean 4 With A Friend: Starting Out

Foundations 4: Logic and Partially Ordered Sets

Smooth Spaces 1: Introduction To Synthetic Differential Geometry

Category Theory For Beginners: Duality And Functors

Category Theory For Beginners: Special Arrows

Category Theory For Beginners: Knowledge Representation

Foundations 2: Category Theory

Category Theory For Beginners: Open Dynamical Systems

Smooth Spaces 2: Axioms Of Synthetic Differential Geometry

Learning To Code In Lean 4 With A Friend: Structure And Recursion

Foundations 7: Dependent Type Theory

Category Theory For Beginners: Products

Category Theory For Beginners: Abstract Algebra

Category Theory For Beginners: Elementary Machinery

Category Theory For Beginners: Natural Transformations

Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris

Foundations 3: Universal Constructions

Category Theory For Beginners: Internal Language of a Topos (Mitchell-Bénabou Language)

Enriched Category Theory For Beginners

Category Theory For Beginners: Kan Extensions

Category Theory For Beginners: Representable Functors

Higher Category Theory For Beginners With Homotopy io

Seven ways to visualize functions

Smooth Spaces 3: Map Spaces, Calculus, and Dynamics

Category Theory For Beginners: All Concepts

Category Theory For Beginners: Cooking, Monoidal Categories and Programming

What is a Manifold ? - Intuition and Definition

Category Theory For Beginners: Mind Map

Category Theory For Beginners: Everyday Language

Category Theory For Beginners: Yoneda Lemma

Category Theory For Beginners: Limits

Category Theory For Beginners: Understanding Pullbacks

How To Draw A Hypercube

High Dimensional Geometry Of Everyday Motion (Visualizing Projectiles in 5D)