Algebraic structures, encompassing groups, rings, fields and modules, have long formed the backbone of modern mathematics. Category theory, with its focus on objects and morphisms, provides a unifying ...

The equal sign is the bedrock of mathematics. It seems to make an entirely fundamental and uncontroversial statement: These things are exactly the same. But there is ...

This repository tracks my journey learning category theory, starting from my background as a professional Haskell programmer and building towards research-level mathematical understanding. The ...