Coherence in categories - Lane, Saunders Mac (Springer-Verlag, 1972)