Category Theory Illustrated personal blog
Category Theory Illustrated – Types
In this chapter we will talk about types. This might be disappointing for you, if you expected to learn about as many new categories as possible (which you don’t even suspect are really categories till the unexpected reveal)—we’ve been talking about the category of types in a given programming language ever since the…
- Points
- 117
- HN comments
- 22
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 3, 2026 | Category Theory Illustrated – Types by boris_m | 117 | 22 |
