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.
Apr 26, 2026
Types and Functions
Apr 24, 2026
Category: The Essence of Composition
Apr 24, 2026
Categories Great and Small
Apr 24, 2026
Kleisli Categories
Apr 24, 2026
Products and Coproducts
Apr 24, 2026
Simple Algebraic Data Types
Apr 24, 2026
Functors
Apr 24, 2026
Functoriality
Apr 24, 2026
Function Types
Apr 24, 2026
Natural Transformations
Apr 24, 2026
Declarative Programming
Apr 24, 2026
Limits and Colimits
Apr 24, 2026
Free Monoids
Apr 24, 2026
Representable Functors
Apr 24, 2026
The Yoneda Lemma
Apr 24, 2026
Yoneda Embedding
Apr 24, 2026
It’s All About Morphisms
Apr 24, 2026
Adjunctions
Apr 24, 2026
Free/Forgetful Adjunctions
Apr 24, 2026
Monads: Programmer’s Definition
Apr 24, 2026
Monads and Effects
Apr 24, 2026
Monads Categorically
Apr 24, 2026
Comonads
Apr 24, 2026
F-Algebras
Apr 24, 2026
Algebras for Monads
Apr 24, 2026
Ends and Coends
Apr 24, 2026
Kan Extensions
Apr 24, 2026
Enriched Categories
Apr 24, 2026
Topoi
Apr 24, 2026
Lawvere Theories
Apr 24, 2026
Monads, Monoids, and Categories