{"adoption": {"forks": 644, "observed_at": "2026-08-28T04:10:49.455619+00:00", "stars": 11681}, "canonical_url": "https://ross.abutalabs.com/products/milewski-ctfp-pdf", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source", "domain": ["tutorials", "programming-languages", "mathematics"], "enriched": true, "function": ["documentation", "pdf"], "health_score": 75, "homepage": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/", "language": "TeX", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["hmemcpy/milewski-ctfp-pdf"], "name": "hmemcpy/milewski-ctfp-pdf", "platform": ["cross-platform"], "pushed_at": "2026-07-10T19:34:51+00:00", "repo": "hmemcpy/milewski-ctfp-pdf", "stars": 11681, "tags": ["category-theory", "functional-programming", "haskell", "latex", "ebook", "scala", "ocaml", "cpp", "nix", "algorithms"], "topics": ["haskell", "category-theory", "functional-programming", "pdf", "latex", "cpp", "scala", "ocaml"], "urls": [], "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"], "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/milewski-ctfp-pdf", "repo": "hmemcpy/milewski-ctfp-pdf", "role": "main", "score": 64}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:10:49.455619+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T17:15:24.626614+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "db63f7564aa030248c45939b79b2c94277a58054a4a5c86793b61de67320ba12", "fetched_at": "2026-08-28T04:10:49.455619+00:00", "kind": "readme", "missing": false, "url": "https://github.com/hmemcpy/milewski-ctfp-pdf"}, {"content_hash": "79ac10f46cdc3e35a18ddc6a22c76d816e782b45e2d4778919cf0c220544288e", "fetched_at": "2026-08-29T08:13:43.551522+00:00", "kind": "homepage", "missing": false, "url": "https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/"}, {"content_hash": "ea9d8e7c1e1ee252cc6ba3ce28d1c5df52ecda306a11c455d8a5422ebf396146", "fetched_at": "2026-08-29T08:13:43.556159+00:00", "kind": "site_page", "missing": false, "url": "https://bartoszmilewski.com/about"}, {"content_hash": "0e55b5995983d6d78dfa985e3e1ddca51e9c0b6785ec23af1ac5038dbe8efc21", "fetched_at": "2026-08-29T08:13:43.558014+00:00", "kind": "site_page", "missing": false, "url": "http://bartoszmilewski.com/2015/11/17/its-all-about-morphisms"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 91, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3287, "days_push": 54, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 64, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}