## Coherence for a closed functor.(English)Zbl 0242.18011

Coherence in Categories, Lect. Notes Math. 281, 148-195 (1972).

### MSC:

 18D10 Monoidal, symmetric monoidal and braided categories (MSC2010) 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)