Adjunctions
- Category Theory for Programmers: Functors, Monads, and Natural Transformations
· 2021-08-10
A rigorous yet intuitive journey through the categorical structures that secretly power functional programming—from categories and functors to adjunctions and the monad-as-monoid correspondence.