Category Theory Courses
ACM SIGPLAN via YouTube Graphical Primitive Recursion for String Diagrams - PLanQC'24
ACM SIGPLAN via YouTube SSA as Freyd Categories - Categorical Semantics for Compiler Design
ACM SIGPLAN via YouTube Monadic and Comonadic Aspects of Dependency Analysis
ACM SIGPLAN via YouTube Semantics I - Session Preview for POPL 2023
ACM SIGPLAN via YouTube Linear BV Quantization as a Functor of Infinity Categories - Lecture
Prague Mathematical Physics Seminar via YouTube The Evolution of Functional Programming in C++
ACCU Conference via YouTube The Fundamental Group of Random 3-Manifolds and Other Random Objects
University of Chicago Department of Mathematics via YouTube