Categories

In category theory, a category is an algebraic structure that consists of a collection of objects, connected to each other by arrows such that the following basic properties are met: the arrows can be composed with each other in an associative manner, and for each object there is an arrow that behaves like a neutral element under the composition.