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.
Bruno Gavranović (Mar 06 2023 at 07:55):This is the topic for @Jules Hedges 's talk
Introduction to Categorical Cybernetics
which is scheduled on March 20th.
You can find the abstact below:
Categorical cybernetics is based on two things: (1) the abstract theory of categories of optics and related things, and (2) a whole bunch of specific examples. These tend to arise in topics that historically were called "cybernetics" (before that term drifted beyond recognition) - AI, control theory, game theory, systems theory. Specific examples of "things that compose optically" are derivatives (well known as backprop), exact and approximate Bayesian inverses, payoffs in game theory, values in control theory and reinforcement learning, updates of data (the original setting for lenses), and updates of state machines. I'll do a gentle tour through these, emphasising their shared structure and the field we're developing to study it.
Bruno Gavranović (Mar 19 2023 at 15:17):The Youtube streaming link for tomorrow's talk is here, and the Zoom link here (same Zoom link as before)
Bruno Gavranović (Mar 20 2023 at 14:16):See you in slightly under two hours! P.S. The US has had their daylight savings already, but not the UK, so it might be worth double checking your schedule :time:
(You can also see the time remaining on the Youtube countdown)