Notas Documentation
Overview
Overview
¶
Notas is a collection of notes and exercises from various bits of self-study.
Contents
Category Theory for Programmers
1. Category: The Essence of Computation
2. Types and Functions
3. Categories Great and Small
4. Kleisli Categories
5. Products and Coproducts
6. Simple Algebraic Data Types
7. Functors
8. Functoriality
Contents
Category Theory for Programmers
Free document hosting provided by
Read the Docs
.
