论文信息 - Coherence in closed categories - 字舞流文

Coherence in closed categories

G. M. Kelly | S. Maclane

[1] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .

[2] Saunders MacLane,et al. Natural Associativity and Commutativity , 1963 .

[3] G. M. Kelly,et al. On MacLane's conditions for coherence of natural associativities, commutativities, etc. , 1964 .

[4] Functors between tensored categories , 1966 .

[5] G. M. Kelly,et al. A generalization of the functorial calculus , 1966 .

[6] Coherence of adjoints, associativities, and identities , 1968 .

[7] J. Lambek. Deductive systems and categories II. Standard constructions and closed categories , 1969 .