2 ms·
After having read a few pages category theory somehow seems similar to OOP. As with OOP you package data with its operations (morphisms). > Quoting Asperti and
by jules 19y ago
After having read a few pages category theory somehow seems similar to OOP. As with OOP you package data with its operations (morphisms).
> Quoting Asperti and Longo [1]: “The basic premise of category theory
is that every kind of mathematically structured object comes equipped with a notion of
[ . . . ] transformation, called ‘morphism’, that preserves the structure of the object.” By
means of the categorical language one cannot express properties of the internal structure
of objects. The internal structure of objects is accessible only externally through the
morphisms between the objects.
What is described here sounds a lot like information hiding/encapsulation. Is category theory similar to OOP in this way?