 Definition (Eilenberg &amp; Mac Lane 1945): A category \(\mathbf{C}\) is an aggregate \(\mathbf{Ob}\) of abstract elements, called the objects of \(\mathbf{C}\), and abstract elements Map, called mappings of the category. The mappings are subject to the following five axioms: