Теория категорий
Теория категорий - раздел высшей алгебры, который “начинается с наблюдения, что многие свойства математических систем можно представить просто и единообразно посредством диаграмм”. Теория категорий ещё более непривычна людям, чем теоретико-множественный подход. Но если говорить о компактности представления мира и его универсальности, то теория категорий выглядит более многообещающе, чем теоретико-множественное представление. Теория категорий всё более используется в системной инженерии и программной инженерии.