Вы ещё не знаете Паниковского. Паниковский Вас всех продаст, купит и снова продаст. (с)

Yeah, teach 'em how to win, Trumpy!

Trump and his supporters are missing a great chance to make a lot of money. All they need to do is place a massive bet on Trump in the presidential race and get him elected despite the odds.

Identity function - the automobile

A 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

OLOGs: vehicle operated through an environment

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.