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 *


8 − one =

Leave a Reply