Coherence in categories
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.
- 著者
- Kelly, G. M.、MacLane, Saunders、Lane Saunders Mac
- 出版社
- Springer-Verlag
- 発売日
- 1972年1月発売
- 価格
- 価格未定（税込・書誌情報提供：openBD）
- ISBN
- 9783540059639
発売済み
シリーズの既刊・続刊
- Lectures on symplectic geometry / Ana Cannas da Silva
- Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale [sic] matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
- Arithmetik Abelscher Varietäten mit komplexer Multiplikation
- Galerkin finite element methods for parabolic problems