Underlying foundation

We believe that category-theoretic foundations will help us make progress across different representations of code, process, model building, and so on.