Matteo Capucci is a PhD student at the University of Strathclyde in the MSP group, advised by Neil Ghani and Scott Cunningham. He studies Applied Category Theory (aka ACT), specifically Categorical Cybernetics and Applied Topos Theory. Today Matteo joined us to discuss the foundations of Categorical Cybernetics, in a wide-ranging conversation touching on lenses, feedback systems, dynamical systems, and more. The conversation extended these ideas to distributed systems, model checking, cyber-physical systems, program sketching, and quantum systems, among other things. This one was an absolute blast live and we hope you enjoy it after the fact in its audio form.
You can read more about Matteo HERE.
You can read more about the Boston Computation Club HERE.
You can watch this presentation in video form on YouTube HERE.