Identity
Function application as function composition
Associativity of composition and its importance to problem-solving
Composition and problem-solving
Definition of function/morphism composition
Expression of composition in Haskell, where types and functions form a Category