Recent posts

Category theory notes 5: Arrows and diagrams

7 minute read

Arrows are so vital to category theory that Awodey jokingly refers to the theory as “archery” (Category Theory, p. 2). Given two objects in a category, an ar...

Category theory notes 4: Monoid

8 minute read

Monoid is one of those concepts that are extremely simple, extremely useful, and can at the same time be extremely confusing. It was one of the first concept...