# hmemcpy/milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Repository: https://github.com/hmemcpy/milewski-ctfp-pdf
Canonical: https://ross.abutalabs.com/products/milewski-ctfp-pdf
Homepage: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Language: TeX
License: NOASSERTION
License Family: other
Topics: haskell, category-theory, functional-programming, pdf, latex, cpp, scala, ocaml
Last push: 2026-07-10T19:34:51+00:00

## Health v2 (maintenance only)
Score: 64/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 91, release rhythm 8, longevity 100
- inputs: {"age_days": 3287, "days_push": 54, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 11681, forks 644 (observed 2026-08-28T04:10:49.455619+00:00)

## What it is
An unofficial PDF and LaTeX source build of Bartosz Milewski's 'Category Theory for Programmers' book, converted from his blog series with permission. It provides multiple language editions (Haskell, Scala, OCaml, Reason) built via Nix and Make.

## Use cases
- learn category theory as a programmer
- download a free pdf of category theory for programmers
- build the book pdf from latex source
- read category theory examples in scala or ocaml
- study functors and monads for functional programming

## When to choose
- you want a nicely typeset free PDF of the book
- you want to build custom editions from LaTeX source
- you prefer code examples in Haskell, Scala, OCaml, or Reason

## When to avoid
- you want a printed copy rather than building a PDF
- you need a formal mathematics textbook rather than a programmer-oriented introduction

## Facets
- artifact type: learning-resource
- maturity: active
- function: documentation, pdf
- domain: tutorials, programming-languages, mathematics
- platform: cross-platform
- tags: category-theory, functional-programming, haskell, latex, ebook, scala, ocaml, cpp, nix, algorithms

## Member repositories
- hmemcpy/milewski-ctfp-pdf (main) score 64

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:10:49.455619+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T17:15:24.626614+00:00, confidence not recorded.
  - readme: https://github.com/hmemcpy/milewski-ctfp-pdf (fetched 2026-08-28T04:10:49.455619+00:00, sha db63f7564aa0)
  - homepage: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ (fetched 2026-08-29T08:13:43.551522+00:00, sha 79ac10f46cdc)
  - site_page: https://bartoszmilewski.com/about (fetched 2026-08-29T08:13:43.556159+00:00, sha ea9d8e7c1e1e)
  - site_page: http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms (fetched 2026-08-29T08:13:43.558014+00:00, sha 0e55b5995983)
- Data as of 2026-08-30T08:39:29.467469+00:00.