Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: event: MIT Categories Seminar

Topic: August 13: Toby Smithe's talk


view this post on Zulip Paolo Perrone (Aug 11 2020 at 23:06):

Hello all! This is the thread of discussion for Toby St. Clere Smithe's talk, "Active Inference and Compositional Cybernetics".
When: Thursday August 13th, 12 noon EDT (Boston time)

Zoom meeting:
https://mit.zoom.us/j/280120646
Meeting ID: 280 120 646

Youtube live stream:
https://youtu.be/KPvZjIHssp4

view this post on Zulip Paolo Perrone (Aug 13 2020 at 15:51):

We start in 9 minutes!

view this post on Zulip Toby Smithe (Aug 13 2020 at 17:13):

Thanks for attending, everyone. I'm in the process of writing this material up, but meanwhile you can see my extended abstract from ACT and my paper about Bayesian lenses. And of course I'd love to discuss any of it here!

view this post on Zulip Toby Smithe (Aug 13 2020 at 17:16):

Here are the slides

view this post on Zulip Toby Smithe (Aug 13 2020 at 17:20):

Some references:
Markov categories
Quasi-Borel spaces
Profunctor diagrams
Optic diagrams
Dynamical systems and sheaves
Temporal type theory
Deep active inference

view this post on Zulip Paolo Perrone (Aug 13 2020 at 19:37):

Video here!
https://youtu.be/ReTK19xNbKA