LINKED LIST [txt mode] ▸ Category Theory Illustrated - Types

home explore | log in

Category Theory Illustrated - Types

abuseofnotation.github.io · first added by @hnl · 2026-09-25 · 1 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #789 by @hnl [books]

─── Discussions ────────────────────────────────────────

* Category Theory Illustrated – Types

117 pts · 22 comments · node

* Category Theory Illustrated – Types

5 pts · 1 comment · node

─── Also saved alongside this ──────────────────────────

* Music for Programming

3 upvotes · 2026-01-31

* Sam Altman May Control Our Future—Can He Be Trusted?

2 upvotes · 2026-09-25

* Project Glasswing: Securing critical software for the AI era

2 upvotes · 2026-09-25

* GitHub - arman-bd/guppylm: A ~9M parameter LLM that talks like a small fish.

2 upvotes · 2026-09-25