Posts tagged with "my-talks":
- Oct 2020 Talk - Model Theory and You
- Nov 2020 Talk - Programming and Category Theory
- Dec 2020 Talk - Syntax and Semantics (Trans Math Day 2020)
- Jan 2021 Talk - Why Think -- Letting Computers do Math for Us
- Mar 2021 Talk - Categories, Modalities, and Type Theories: Oh My
- Mar 2021 Talk - Problem Solving Without Ansibles -- An Introduction to Communication Complexity
- Oct 2021 Talk - Top $5$ Undecidable Problems -- Number $4$ will shock you!
- Nov 2021 Talk - Bring Out the Crayons -- A Survey of Descriptive Combinatorics
- Dec 2021 Talk - The Univalence Axiom
- Dec 2021 Talk - The Weil Conjectures and Topos Theory
- Feb 2022 Talk (?) -- Universal Enveloping Algebras
- Feb 2022 Talk -- Let's Solve a Simple Analysis Problem. Together.
- Mar 2022 Talk (?) -- Why Care about Lie Algebras?
- Oct 2022 Talk - Where Are The Open Sets?
- May 2023 Talk -- What is Algebraic Geometry and Why Should You Care?
- Nov 2023 Talk -- 2-Categorical Descent and (Essentially) Algebraic Theories
- Mar 2024 Talk -- What is Factorization Homology?