Takashi's Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
books
❯
category theory for programmers
Folder: books/category-theory-for-programmers
31 items under this folder.
May 12, 2023
lawvere-theories
May 12, 2023
limits-and-colimits
May 12, 2023
monads-and-effects
May 12, 2023
monads-categorically
May 12, 2023
monads-monoids-and-categories
May 12, 2023
monads-programmers-definition
May 12, 2023
natural-transformations
May 12, 2023
products-and-coproducts
May 12, 2023
representable-functors
May 12, 2023
simple-algebraic-data-types
May 12, 2023
the-yoneda-lemma
May 12, 2023
topoi
May 12, 2023
types-and-functions
May 12, 2023
yoneda-embedding
May 12, 2023
enriched-categories
May 12, 2023
f-algebras
May 12, 2023
free-monoids
May 12, 2023
freeforgetful-adjunctions
May 12, 2023
function-types
May 12, 2023
functoriality
May 12, 2023
functors
May 12, 2023
its-all-about-morphisms
May 12, 2023
kan-extensions
May 12, 2023
kleisli-categories
May 12, 2023
category-the-essence-of-composition
May 12, 2023
comonads
May 12, 2023
declarative-programming
May 12, 2023
ends-and-coends
May 12, 2023
adjuctions
May 12, 2023
algebras-for-monads
May 12, 2023
categories-great-and-small