09/12/21: More Category Theory for More Cybernetics with Matteo Capucci

Boston Computation Club

English - September 12, 2021 22:39 - 1 hour - 70.9 MB
Mathematics Science Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: 08/28/21 - Compilation Techniques for Reconfigurable Analog Devices with Sara Archour

Next Episode: 10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova

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.