├── .gitignore ├── LICENSE ├── README.md ├── images ├── beauvais-cathedral.jpeg ├── frog.jpeg └── part-1 │ ├── coproductpattern.jpeg │ ├── coproductranking.jpeg │ ├── final.jpeg │ ├── img_1329.jpeg │ ├── img_1330.jpeg │ ├── initial.jpeg │ ├── monoid.webp │ ├── monoidhomset.webp │ ├── not-a-product.jpeg │ ├── piggyback.jpeg │ ├── productcandidates.jpeg │ ├── productpattern.jpeg │ ├── productranking.jpeg │ └── uniqueness.jpeg ├── part-1 ├── 01-category-the-essence-of-composition.md ├── 02-types-and-functions.md ├── 03-categories-great-and-small.md ├── 04-kleisli-categories.md ├── 05-products-and-coproducts.md ├── 06-simple-algebraic-data-types.md ├── 07-functors.md ├── 08-functoriality.md ├── 09-function-types.md ├── 10-natural-transformations.md └── challenges │ ├── 01-category-the-essence-of-composition │ ├── index.ts │ ├── package.json │ ├── tsconfig.json │ └── yarn.lock │ └── 02-types-and-functions │ ├── index.ts │ ├── package.json │ ├── tsconfig.json │ └── yarn.lock ├── part-2 ├── 01-declarative-programming.md ├── 02-limits-and-colimits.md ├── 03-free-monoids.md ├── 04-representable-functors.md ├── 05-the-yoneda-lemma.md └── 06-yoneda-embedding.md └── part-3 ├── 01-its-all-about-morphisms.md ├── 02-adjunctions.md ├── 03-free-forgetful-adjunctions.md ├── 04-monads-programmers-definition.md ├── 05-monads-and-effects.md ├── 06-monads-categorically.md ├── 07-comonads.md ├── 08-f-algebras.md ├── 09-algebras-for-monads.md ├── 10-ends-and-coends.md ├── 11-kan-extensions.md ├── 12-enriched-categories.md ├── 13-topoi.md ├── 14-lawvere-theories.md └── 15-monads-monoids-and-categories.md /.gitignore: -------------------------------------------------------------------------------- 1 | node_modules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/README.md -------------------------------------------------------------------------------- /images/beauvais-cathedral.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/beauvais-cathedral.jpeg -------------------------------------------------------------------------------- /images/frog.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/frog.jpeg -------------------------------------------------------------------------------- /images/part-1/coproductpattern.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/coproductpattern.jpeg -------------------------------------------------------------------------------- /images/part-1/coproductranking.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/coproductranking.jpeg -------------------------------------------------------------------------------- /images/part-1/final.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/final.jpeg -------------------------------------------------------------------------------- /images/part-1/img_1329.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/img_1329.jpeg -------------------------------------------------------------------------------- /images/part-1/img_1330.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/img_1330.jpeg -------------------------------------------------------------------------------- /images/part-1/initial.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/initial.jpeg -------------------------------------------------------------------------------- /images/part-1/monoid.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/monoid.webp -------------------------------------------------------------------------------- /images/part-1/monoidhomset.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/monoidhomset.webp -------------------------------------------------------------------------------- /images/part-1/not-a-product.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/not-a-product.jpeg -------------------------------------------------------------------------------- /images/part-1/piggyback.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/piggyback.jpeg -------------------------------------------------------------------------------- /images/part-1/productcandidates.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/productcandidates.jpeg -------------------------------------------------------------------------------- /images/part-1/productpattern.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/productpattern.jpeg -------------------------------------------------------------------------------- /images/part-1/productranking.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/productranking.jpeg -------------------------------------------------------------------------------- /images/part-1/uniqueness.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/images/part-1/uniqueness.jpeg -------------------------------------------------------------------------------- /part-1/01-category-the-essence-of-composition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/01-category-the-essence-of-composition.md -------------------------------------------------------------------------------- /part-1/02-types-and-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/02-types-and-functions.md -------------------------------------------------------------------------------- /part-1/03-categories-great-and-small.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/03-categories-great-and-small.md -------------------------------------------------------------------------------- /part-1/04-kleisli-categories.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/04-kleisli-categories.md -------------------------------------------------------------------------------- /part-1/05-products-and-coproducts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/05-products-and-coproducts.md -------------------------------------------------------------------------------- /part-1/06-simple-algebraic-data-types.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-1/07-functors.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-1/08-functoriality.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-1/09-function-types.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-1/10-natural-transformations.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-1/challenges/01-category-the-essence-of-composition/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/01-category-the-essence-of-composition/index.ts -------------------------------------------------------------------------------- /part-1/challenges/01-category-the-essence-of-composition/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/01-category-the-essence-of-composition/package.json -------------------------------------------------------------------------------- /part-1/challenges/01-category-the-essence-of-composition/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/01-category-the-essence-of-composition/tsconfig.json -------------------------------------------------------------------------------- /part-1/challenges/01-category-the-essence-of-composition/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/01-category-the-essence-of-composition/yarn.lock -------------------------------------------------------------------------------- /part-1/challenges/02-types-and-functions/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/02-types-and-functions/index.ts -------------------------------------------------------------------------------- /part-1/challenges/02-types-and-functions/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/02-types-and-functions/package.json -------------------------------------------------------------------------------- /part-1/challenges/02-types-and-functions/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/02-types-and-functions/tsconfig.json -------------------------------------------------------------------------------- /part-1/challenges/02-types-and-functions/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alstn2468/category-theory-for-programmers/HEAD/part-1/challenges/02-types-and-functions/yarn.lock -------------------------------------------------------------------------------- /part-2/01-declarative-programming.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-2/02-limits-and-colimits.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-2/03-free-monoids.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-2/04-representable-functors.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-2/05-the-yoneda-lemma.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-2/06-yoneda-embedding.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/01-its-all-about-morphisms.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/02-adjunctions.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/03-free-forgetful-adjunctions.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/04-monads-programmers-definition.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/05-monads-and-effects.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/06-monads-categorically.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/07-comonads.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/08-f-algebras.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/09-algebras-for-monads.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/10-ends-and-coends.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/11-kan-extensions.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/12-enriched-categories.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/13-topoi.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/14-lawvere-theories.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /part-3/15-monads-monoids-and-categories.md: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------