Lambda World 2019 - A categorical view of computational effects - Emily Riehl Published 2019-11-04 Download video MP4 360p Recommendations 28:08 Lambda World 2019 - A Series of Unfortunate Effects - Robert M. Avram 40:39 Category Theory in Life - Eugenia Cheng 50:52 Category Theory for the Working Hacker by Philip Wadler 41:09 Lambda World 2019 - The Reason for ReasonML - Tianyu Pu 42:24 Lambda World 2019 - Implicits Revisited - Martin Odersky 1:05:09 The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl 12:45 The First Real Application of Category Theory #SoME3 49:45 Math Talk! Dr. Emily Riehl, to infinity categories and beyond. 1:01:53 Paul Dancstep: The Universal Library; A novel approach to teaching category theory 46:27 Lambda World 2019 - What FP Can Learn From Static Introspection - Aditya Siram (Deech) 1:06:13 Applied Category Theory Similar videos 05:07 MEET a Mathematician! - Emily Riehl 1:16:51 Emily Riehl on Topology, Categories, and the Future of Mathematics 1:28:08 Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory 03:59 The Woman Who's Rewriting Higher Category Theory 1:08:21 Lambda World 2019 - Unconference More results