Coherence in Categories
Coherence in Categories [electronic resource] /
edited by G. M. Kelly, M. Laplaza, G. Lewis, Saunders Mac Lane.
- CCXLVIII, 238 p. online resource.
- Lecture Notes in Mathematics, 281 0075-8434 ; .
- Lecture Notes in Mathematics, 281 .
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.
9783540379584
10.1007/BFb0059553 doi
Mathematics.
Mathematics, general.
QA1-939
510
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.
9783540379584
10.1007/BFb0059553 doi
Mathematics.
Mathematics, general.
QA1-939
510