Oct. 11th, 2016
Identity function - the automobile
Oct. 11th, 2016 11:00 amA different type of engine — electric instead of internal combustion — doesn't change the car. On the other hand, making it autonomous creates a different type of vehicle.
Unfortunately, I don't know how to capture this difference in terms of category theory. Maybe it should be done through introducing a new function that reflects interaction with the environment. That is, the old car doesn't addapt to the environment, while the new one does.
Maybe I can do it through a product, e.g.
A - automobile
E - environment
f: A x E -> A
Unfortunately, I don't know how to capture this difference in terms of category theory. Maybe it should be done through introducing a new function that reflects interaction with the environment. That is, the old car doesn't addapt to the environment, while the new one does.
Maybe I can do it through a product, e.g.
A - automobile
E - environment
f: A x E -> A
Just a follow-up on the earlier post:
As we can see, the autonomous car represents an innovation that is larger than the electric car because it instantiates a higher-level object type.

upd: the "non-human" predicate is incorrect because it's assumes that the law of excluded middle applies. I need to find a more neutral term.
As we can see, the autonomous car represents an innovation that is larger than the electric car because it instantiates a higher-level object type.

upd: the "non-human" predicate is incorrect because it's assumes that the law of excluded middle applies. I need to find a more neutral term.