Category theoretic glue

We want to develop enough theory that we can use it to frame our experiments. We are trying to do this in a computationally meaningful way.

Feature: Understand comma categories as a potential “backend”rayzans