https://bartoszmilewski.com/2015/02/03/functoriality/arrow-up-right
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 Transformations
Last updated 4 years ago