Trapiche
Coherence in Categories (Lecture Notes in Mathematics), de Saunders Mac Lane · Trapiche