Coherence in Categories

Saunders Mac Lane (Herausgeber)

Buch | Softcover

CCXLVIII, 238 Seiten

1972
Springer Berlin (Verlag)
978-3-540-05963-9 (ISBN)

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 23.8.1972
• Reihe/Serie: Lecture Notes in Mathematics
• Zusatzinfo: CCXLVIII, 238 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 354 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Schlagworte: Calculus • category theory • Kategorie (Math.) • Kohärenz (Math.) • Theorem • Variable
• ISBN-10: 3-540-05963-6 / 3540059636
• ISBN-13: 978-3-540-05963-9 / 9783540059639
• Zustand: Neuware