the minimalist program (Cap. 4: Categories and Transformations)