Identity function - the automobile
Oct. 11th, 2016 11:00 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsA 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
