2 ms·

A Gentle Introduction to Category Theory looks pretty good: http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.htm

• 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?