Applied Category Theory 2018 – Videos
Azimuth 2018-04-30
Summary:
Some of the talks at Applied Category Theory 2018 were videotaped by the Statebox team. You can watch them on YouTube: • David Spivak, A higher-order temporal logic for dynamical systems. Book available here and slides here. • Fabio Zanasi and Bart Jacobs, Categories in Bayesian networks. Paper available here. (Some sound missing; when you […]