a math person found this post of mine from last year on Instagram.
I think this corresponds nicely with the thing I’ve been working on but I’m not sure yet.
if category theory is the name of the domain, object might be a principle and morphism an application — or is it a tool?
if logic is the name of the domain, a proposition might be a principle and a proof an application — or is it a tool?
a cobordism in topology definitely looks like a tool. and in computation , programs have inputs and output which interfaces two or more domains
it’s looking more like tools. but I have to look at all. if these applications of my principles is true, it will be an interface between my principles and principles of other domains …
… that means applications of domains are tools?
I might need to simplify more. that would be great if it holds.