category-theory-for-programmers

A curated list of awesome Category Theory resources.

🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.

emdash — algebraic goal assistant (proof assistant for ω-categories) — Try it: https://hotdocx.github.io/emdash

Functional Programming problem solutions for Certificate

Implementations of the challenges from the book, Category Theory for Programmers

A viewpoint‑oriented framework for consistent world‑model design.

Repo that works through the challenges of the book category theory for programmers