category-theory
an archive of posts with this tag
| Apr 30, 2026 | Currying in Categories |
|---|---|
| Apr 17, 2026 | Part 1: Domain Theory Basics |
| Apr 17, 2026 | Partiality in a Total Type Theory |
| Jun 16, 2025 | Part 1: Defining the Free Monad in Lean |
| May 21, 2025 | The Free Monad |