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.