Category Theory Courses
Insights into Mathematics via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube Haskell Symposium 2024 - Session 3
ACM SIGPLAN via YouTube A Diagram Editor to Mechanize Categorical Proofs
ACM SIGPLAN via YouTube Game-Enriched Categories
ACM SIGPLAN via YouTube Compositional Development of Certified System Software
ACM SIGPLAN via YouTube Formalizing the ∞-Categorical Yoneda Lemma
ACM SIGPLAN via YouTube Univalent Double Categories - Formalization and Applications in Category Theory
ACM SIGPLAN via YouTube Additive Cellular Automata Graded-Monadically
ACM SIGPLAN via YouTube Fast Deep Learning with Categories
ACM SIGPLAN via YouTube