Substrate and Laws

Abstract

Over the last year, I have been working on finding languages for expressing the systems theory that has been worked on in applied category theory over the last decade and a half. In this talk, I will give an argument for why two-layered type theory is a good fit for the problem, both conceptually and technically.