Category theory

theory
https://cstheory.stackexchange.com/questions/21387/whats-the-relation-between-oop-and-category-theory There are absolutely some relationships between the semantics and practice of OOP and category theory. This is somewhat unsurprising since both fields attempt to give a principled generic account of structure and behavior in a synthetic manner. The most apparent work I am aware of is the categorical semantics of UML, which is admittedly different from OOP in the large, but I think captures much of the crux of the debate on the semantics of objects themselves. One example is Zinovy Diskin's Mathematics of UML

https://bartoszmilewski.com/2014/11/24/types-and-functions/

links
oop