benediktahrens/CT4P

TeX

250 commits

updated Sep 14, 2026

README

Category Theory for Programming

This textbook on category theory for programming is distributed under the Creative Commons Attribution Share Alike 4.0 International license; see also LICENSE.md.

A compiled version can be downloaded as a build artifact from https://github.com/benediktahrens/CT4P/actions for up to 90 days after the last build.

Contributors

172 commits

35 commits

27 commits

7 commits

Similar repos

abuseofnotation/category-theory-illustrated

A book about category theory

486

ArulselvanMadhavan/ocaml-ctfp

OCaml version of Category Theory For Programmers

134

CatTheoryByExample/book

The category theory by example book

Apress/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

300

bgavran/Category_Theory_Resources

List of resources for learning Category Theory

295

amintimany/Categories

A formalization of category theory in the Coq proof assistant.

100

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

byorgey/haskell-course

Introductory Haskell course materials (originally CIS 194 @ UPenn)

284

Languages

TeX

95.0%

Agda

4.8%