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.

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.

Leave a comment

Your email address will not be published. Required fields are marked *


× 4 = twenty four

Leave a Reply