Functional programming
Higher-order functions
Fold
Recursion
Limit
Initial algebra
Adjoint functors
Map
Cone
Category theory
Mathematics
Declarative programming