What is categorical cybernetics?
Category theory is a field of pure mathematics that arose out of topology and geometry. Applied category theory (ACT) is a recently-emerged interdisciplinary field that applies methods of category theory to practical problems, achieving industrial success in fields such as quantum computing and natural language processing.
Categorical cybernetics, or CyberCat for short, is a sub-field of ACT focussing on optimisation and control, using a small set of category-theoretic tools such as optics and open games.
The popular understanding of the word “cybernetics” has drifted over time to mean biotechnology, but its original meaning in the 1960s was the interdisciplinary study of controlling complex systems, in fields such as ecology, economics and computer science. Due to the urgent need for an interdisciplinary approach to 21st-century problems, and the rise of category theory as a new mathematical foundation, we believe the time is now right to try to reclaim the original dream of cybernetics, and its name.
A different way to organise research
We are a nonprofit research institute, neither academia nor business but at a nexus between both. Our work is motivated by both pure curiosity and urgent social need. Our mission requires people with very different backgrounds working closely together, cutting across traditional academic boundaries. We also want to develop high quality software, so we need software engineers to be part of the core team.