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

  • How to Stay Locally Safe in a Global World

    Suppose your name is x and you have a very important state machine that you cherish with all your heart. Because you love this state machine so much, you don't want it to malfunction and you have a subset which you consider to be safe. If your state machine ever leaves this safe space you are in big trouble so you ask the following question.
  • AI Safety Meets Value Chain Integrity

    Advanced AI making economic decisions in supply chains and markets creates poorly-understood risks, especially by undermining the fundamental concept of individuality of agents. We propose to research these risks by building and simulating models.
  • About the CyberCat Institute blog

    This is a short summary of the post. It is meant to explain how to write for our blog.
  • 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.