Coherence in Categories
Published on 23. August 1972
Book
Paperback/Softback
CCXLVIII, 238 pages
978-3-540-05963-9 (ISBN)
Description
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.
More details
Series
Edition
1972 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
CCXLVIII, 238 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
382 gr
ISBN-13
978-3-540-05963-9 (9783540059639)
DOI
10.1007/BFb0059553
Schweitzer Classification
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.