## Some remarks on the subject of coherence.(English)Zbl 0358.18008

The author has published now, in the Mem. Am. Math. Soc. 182 (1977; Zbl 0347.18008) a final treatment of coherence problems in closed categories. The present paper is a preliminary version which already contains the main ideas. In a first part of the paper, the author describes a class $$\mathfrak M$$ of graphs and proves that, for allowable natural transformations $$h$$ and $$h'$$, $$h = h'$$ is equivalent to $$(h,h')\notin \mathfrak M$$. The end of the paper contains some first remarks on non commutative diagrams.

### MSC:

 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)

Zbl 0347.18008
Full Text:

### References:

 [1] R. Blackwell , Coherence for V-natural transformations, Abstracts of the Sydney Category Theory Seminar 1972 ( the University of New South Wales ), 56 - 57 . [2] G.M. Kelly , A Cut Elimination Theorem , Lecture Notes in Math. 281 Springer ( 1972 ), 196 - 213 . MR 340373 | Zbl 0243.18017 · Zbl 0243.18017 [3] G.M. Kelly and S. Maclane , Coherence in Closed Categories , J. Pure and Applied Algebra 1 ( 1971 ), 97 - 140 . MR 283045 | Zbl 0212.35001 · Zbl 0212.35001 [4] G.M. Kelly and S. Maclane , Closed Coherence for a Natural Tiansformation , Lecture Notes in Math. 281 , Springer ( 1972 ), 1 - 28 . MR 374237 | Zbl 0245.18003 · Zbl 0245.18003 [5] G. Lewis , Coherence for a Closed Functor , Lecture Notes in Math. 281 Springer ( 1972 ), 148 - 195 . MR 344309 | Zbl 0242.18011 · Zbl 0242.18011 [6] R. Voreadou , A Coherence Theorem for Closed Categories, Ph. D. Thesis , The University of Chicago , 1972 . · Zbl 0347.18008 [7] R. Voreadou , Non-commutative diagrams in closed categories ( to appear) . · Zbl 0347.18008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.