Keywords:
Mathematics
;
Mathematics, general
;
Mathematics
;
Kategorie
;
Kohärenz
;
Kategorie
Description / Table of Contents:
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.
Type of Medium:
Online Resource
Pages:
Online-Ressource (CCXLVIII, 238 p, online resource)
ISBN:
9783540379584
,
9783540059639
Series Statement:
Lecture Notes in Mathematics 281
URL:
https://doi.org/10.1007/BFb0059553
URL:
http://dx.doi.org/10.1007/BFb0059553
URL:
https://swbplus.bsz-bw.de/bsz404648916cov.jpg
URL:
http://d-nb.info/720196434/04
Language:
English
Permalink