Category Theory Courses
Institut des Hautes Etudes Scientifiques (IHES) via YouTube Localizing Invariants and Algebraic K-theory - Lecture 3
Institut des Hautes Etudes Scientifiques (IHES) via YouTube Localizing Invariants and Algebraic K-theory - Part 1
Institut des Hautes Etudes Scientifiques (IHES) via YouTube Strange Gradings and Elimination of Generators
Institut des Hautes Etudes Scientifiques (IHES) via YouTube A Gentle Introduction to Template Games and Linear Logic
Institut des Hautes Etudes Scientifiques (IHES) via YouTube Categorification of Rule Algebras in Compositional Rewriting Systems
Institut des Hautes Etudes Scientifiques (IHES) via YouTube Operads and the Blob Complex in Topological Quantum Field Theory
Institut Henri Poincaré via YouTube The Homomorphism Removal and Repackaging Construction
Institut Henri Poincaré via YouTube Rust's Trait System as a Proof Engine for ABI Generation
RustLab Conference via YouTube Equivariant Derived Category of a Reductive Group as a Categorical Center
NCCR SwissMAP via YouTube