Разжёвываю предыдущий пост :)

Объектно-ориентированное программирование -- это частный случай теоретико-категориальной конечной коммутативной кокон-диаграммы с коллекциями инфоморфизмов на классификаторах, которые строят сложные семантические ограничения из простых.

В принципе, это уже тривиально и интуитивно, но если совсем-совсем просто, то речь о приложении теории категорий на пространствах Chu -- пространствах семантических отношений на примере "объектов" (таблиц атрибутов).

P.S. Что такое "инфоморфизм"? Это морфизм в категории Chan, которая есть изоморфизм в категории Chu.