Schematic representation of a category with objects X, Y, Z and morphisms f, g, g ∘ f. (The category's three identity morphisms 1X, 1Y and 1Z, if explicitly represented, would appear as three arrows, from the letters X, Y, and Z to themselves, respectively.) Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac La
![Category theory - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/5cf033eacfe0106aa605209bbdefc81ccdc1d876/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fe%2Fef%2FCommutative_diagram_for_morphism.svg%2F1200px-Commutative_diagram_for_morphism.svg.png)