Coherence in categories
著者
書誌事項
Coherence in categories
(Lecture notes in mathematics, 281)
Springer-Verlag, 1972
- : Germany
- : U.S.
大学図書館所蔵 件 / 全64件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
内容説明・目次
目次
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.
「Nielsen BookData」 より