Пример того, как айтишка убежала далеко вперёд философии, просто её концепции нужно философски осмыслять, что вызывает трудности, ибо философы некомпетентны в айтишке, а айтишники некомпетентны в философии, из-за чего одни изобретают колесо, которое уже изобретено и работает, а другие пользуются колесом в очень узком деле даже не особо замечая, что у них в руках.
В данной презентации проективно-модальная онтология и её «исчисление стрелочек» похожи, например, на раздел обобщённого объектно-ориентированного программирования, на так называемые дженерики или параметризацию классов с её концепциями: ковариантность, контравариантность, инвариантность.
https://vk.com/video3362331_456241689 https://youtu.be/XFIsPsCW_uw