## Category theory #

A branch of mathematics focussed on the study and formalization of general abstract mathematical structures and the relationships between them.

- Invented by Saunders Mac Lane
- Fundamental result is the Yoneda lemma which is an abstracted version of Cayley’s theorem for finite groups.
- I mentioned it in my thesis (“the strokes of the creator’s brush are on display”).
- Something to think about a bit more.