Functions

Functional programming paradigms

Thinking categorically Basic building blocks of category theory
Composing reality A structural grammar of form, interaction, and meaning
The Structure of Mathematics