(Image credit: H.R. Grant / SaurianDandy)
I suddenly became obsessed with cybernetics (exactly) 2 weeks ago when I learned what the word actually means, closely followed by this tweet bring my attention to the following line from the beginning of Kenneth Boulding’s classic (1956) paper General Systems Theory: “The developments of a mathematics of quality and structure is already on the way, even though it is not as far advanced as the “classical” mathematics of quantity and number.” Which sounds like category theory to me. (I think it’s extremely unlikely Boulding had category theory in mind – Eilenberg and Mac Lane’s General Theory of Natural Equivalences was published in 1945; for comparison the first textbook on graph theory was published in 1936.)
“Cybernetics” is a very slippery term to pin down, and can mean whatever the writer wants it to mean, something it has in common with its superior officer, General Systems Theory. But for this purpose I’m going to pick a definition: cybernetics is the control theory of complex systems. It was characterised by being extremely interdisciplinary, and in the West ventured a lot into pseudo-scientific discussions of consciousness. My understanding is that historically it aimed far too high, missed its goals spectacularly, and has been living an unfashionable death ever since. (In the time since, the word cyber has been repurposed for a lot of unrelated things, so I’m conflicted between thinking recovering the name is a lost cause, and wanting to recover such an inherently cool name.)
With this definition, plus the reasonable handwave of seeing compositionality of open systems as being about complex systems, which is to say a complex of open systems linked together. To some extent all of applied monoidal categories is about this (including categorical quantum mechanics, which is about open quantum-mechanical systems), with decorated cospans as the sledgehammer in the toolbox of “categorical systems theory”.
With this, there is certainly existing work in applied category theory that could reasonably be called “categorical cybernetics”. The most obvious is Categories In Control. The series of work by Bonchi, Sobocinski and Zanasi on linear relations (for example this and this), also have quite a control-theoretic flavour.
Then there are things where open systems do optimisation. My own compositional game theory is probably the biggest example of this done with categories.
Compositional game theory belongs to an emerging common pattern of things that look a bit like lenses if you squint a bit. Also here can be found backpropagation (also this) the Kalman filter, and reinforcement learning (I have unpublished notes on reinforcement learning with open games, and I’ll come back to it). There are plenty of other things that look a bit like lenses if you squint a bit, but these are the cybernetic ones.
I just remembered that I promised a manifesto, not a literature review. Here is my manifesto: Categorical cybernetics (or CyberCat, to go with DisCoCat) should be identified as a subfield of applied category theory, and a rich source of applications for categorical methods. That’s all I’ve got. (It’s possible I’m not a natural at manifesto-writing.)
6 thoughts on “Categorical cybernetics: A manifesto”
I look forward to the coming years – you’re a lovely person to follow
[…] Categorical cybernetics: A manifesto […]
LikeLiked by 1 person
@comandingo wrote on Twitter:
> “Joseph Goguen did work together with Francisco Varela and referenced the book “The Tree of Knowledge” in his “Categorical Manifesto”. Varela contributed to the development of the cybernetic epistemology called “radical constructivism”. (which is also part of this story IMHO)”
LikeLiked by 1 person
Reblogged this on dkLlama Writes and commented:
[…] first proposed CyberCat, both as a field and as a term, in this 2019 blog post (for which this one is partly an update). There I fixed a definition that I still like: cybernetics […]
[…] Jules Hedges coined the term some years ago (2019), after he had been working on compositional game theory for serveral years already. He moved to Glasgow the following year, and at the same time I moved there to start my PhD. In fact, Bruno had been doing categorical machine learning at MSP since the year before! […]