Beschreibung:
Closed coherence for a natural transformation -- Coherence for distributivity -- Many-variable functorial calculus. I. -- An abstract approach to coherence -- Coherence for a closed functor -- A cut-elimination theorem -- A new result of coherence for distributivity.