The category theory is a way of study mathematics in terms of structures and relations between them. The mother category theory is the theory of set and functions. Other prototypical examples are linear algebra, topology and all the theories included in the abstract algebra. In simple terms, a category consists of two parts: * the objects of the category * the morphisms between the objects of the category