Coherence in Categories [electronic resource] / edited by G. M. Kelly, M. Laplaza, G. Lewis, Saunders Mac Lane

Title	Coherence in Categories [electronic resource] / edited by G. M. Kelly, M. Laplaza, G. Lewis, Saunders Mac Lane
Imprint	Berlin, Heidelberg : Springer Berlin Heidelberg, 1972
Connect to	http://dx.doi.org/10.1007/BFb0059553
Descript	CCXLVIII, 238 p. online resource

CONTENT

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

Mathematics Mathematics Mathematics general