Coherence in categories [proceedings] (Springer, 1972)