2:14:57Categorical Logic 26-27, Lecture 1: Algebraic theories
A 135-minute video from Alex Simpson: “Categorical Logic 26-27, Lecture 1: Algebraic theories”.
Alex Simpson
1.05K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
2:14:57
2:07:09Categorical Logic 26-27, Lecture 2: Simply-typed lambda-calculus and cartesian-closed categories
A 127-minute video from Alex Simpson: “Categorical Logic 26-27, Lecture 2: Simply-typed lambda-calculus and cartesian-closed categories”.
2:08:46Categorical Logic 26-27, Lecture 3: Monads and their algebras
A 129-minute video from Alex Simpson: “Categorical Logic 26-27, Lecture 3: Monads and their algebras”.
2:09:50Categorical Logic 26-27, Lecture 4: Computational effects and monads
A 130-minute video from Alex Simpson: “Categorical Logic 26-27, Lecture 4: Computational effects and monads”.
1:32:34Categorical Logic 26-27, Lecture 5: Presheaves
A 93-minute video from Alex Simpson: “Categorical Logic 26-27, Lecture 5: Presheaves”.
2:08:42Computability theory 2026/27, Lecture 1: Turing machines
A 129-minute video from Alex Simpson: “Computability theory 2026/27, Lecture 1: Turing machines”.
1:53:31Computability theory 2026/27, Lecture 2: Undecidability and the universal Turing machine
A 114-minute video from Alex Simpson: “Computability theory 2026/27, Lecture 2: Undecidability and the universal Turing machine”.
2:10:18Computability theory 2026/27, Lecture 3: Computable partial functions and representations.
A 130-minute video from Alex Simpson: “Computability theory 2026/27, Lecture 3: Computable partial functions and representations.”.
2:10:23Computability theory 2026/27, Lecture 4: Partial recursive functions
A 130-minute video from Alex Simpson: “Computability theory 2026/27, Lecture 4: Partial recursive functions”.
2:08:05Computability theory 2026/27, Lecture 5: Enumerating the computable partial functions
A 128-minute video from Alex Simpson: “Computability theory 2026/27, Lecture 5: Enumerating the computable partial functions”.
1:57:37Set Theory (2025-26): Lecture 10 (Regular and Inaccessible Cardinals)
A 118-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 10 (Regular and Inaccessible Cardinals)”.
2:09:07Set Theory (2025-26): Lecture 11 (Perfect Sets)
A 129-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 11 (Perfect Sets)”.
2:13:16Set Theory (2025-26): Lecture 12 (Gale-Stewart Games)
A 133-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 12 (Gale-Stewart Games)”.
2:06:41Set Theory (2025-26): Lecture 13 (Prime Ideals and Ultrafilters)
A 127-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 13 (Prime Ideals and Ultrafilters)”.
2:10:40Set Theory (2025-26): Lecture 14 (Measurable Cardinals)
A 131-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 14 (Measurable Cardinals)”.
2:08:01Set Theory (2025-26): Lecture 15 (ZFC and Independence Results)
A 128-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 15 (ZFC and Independence Results)”.
43:58Set Theory (2025-26): Lecture 6 (Initial Ordinals and Alephs) Part 1
A 44-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 6 (Initial Ordinals and Alephs) Part 1”.
1:24:40Set Theory (2025-26): Lecture 6 (Initial Ordinals and Alephs) Part 2
A 85-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 6 (Initial Ordinals and Alephs) Part 2”.
2:14:50Set Theory (2025-26): Lecture 7 (The Axiom of Choice)
A 135-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 7 (The Axiom of Choice)”.
2:18:54Set Theory (2025-26): Lecture 8 (Cardinal Arithmetic in the Presence of Choice)
A 139-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 8 (Cardinal Arithmetic in the Presence of Choice)”.
2:08:36Set Theory (2025-26): Lecture 9 (Mathematical Consequences of Choice)
A 129-minute video from Alex Simpson: “Set Theory (2025-26): Lecture 9 (Mathematical Consequences of Choice)”.