Institute for Categorical Cybernetics

Governance and control for the age of AI

Our mission is to develop theory and software for governing systems that learn and make decisions, for the benefit of their users and of humanity.

Latest posts

  • A Software Engine For Game Theoretic Modelling - Part 2

    Some time ago, in a previous blog post, we introduced our software engine for game theoretic modelling. In this post, we expand more on how to apply the engine to use cases relevant for the Ethereum ecosystem. We will consider an analysis of a simplified staking protocol. Our focus will be on compositionality – what this means from the perspective of representing protocols and from the perspective of analyzing protocols.
  • What is Categorical Cybernetics?

    Categorical cybernetics, or CyberCat to its friends, is – no surprise – the application of methods of (applied) category theory to cybernetics. The "category theory" part is clear enough, but the term "cybernetics" is notoriously fluid, and throughout history has meant more or less whatever the writer wanted it to mean. So, let’s lay down some boundaries.