Monads Category Theory by Example
Monads arise from monoids in the category of endofunctors and model structured computation in programming languages.
Archive
December 2019
Objects and Morphisms Category Theory by Example
Universal constructions describe initial and terminal objects, products, sums, monoids, exponential objects, and type algebra.