Milewski B. Category Theory for Programmers

Bartosz Milewski, 2017. — 510 p.Category: The Essence of Composition
Types and Functions
Categories Great and Small
Kleisli Categories
Products and Coproducts
Simple Algebraic Data Types
Functors
Functoriality
Function Types
Natural TransformationsDeclarative Programming
Limits and Colimits
Free Monoids
Representable Functors
The Yoneda Lemma
Yoneda EmbeddingIt’s All About Morphisms
Adjunctions
Free/Forgetful Adjunctions
Monads: Programmer’s Definition
Monads and Effects
Monads Categorically
Comonads
F-Algebras
Algebras for Monads
Ends and Coends
Kan Extensions
Enriched Categories
Topoi
Lawvere Theories
Monads, Monoids, and Categories