# Category Theory¶

Category theory is a set of tools and ways of thinking for exploring relations between abstract structures in maths. It's focus is not on the objects, but on the relations between them and the rules they operate under.

An alternative way of thinking about category theory could be a view on the patterns of human thought, rather than the patterns in nature. We can't help but impose these patterns everywhere we go.

At the core of category theory is, unsurprisingly, the category. A category is a collection of objects and morphisms, where each object has at least an 'identity morphism'. A morphism is an arrow pointing from one object to another. Objects exist as named points to give the morphisms context. Category theory concerns itself with the composition of morphisms within different categories and the different states that are possible.