论文信息 - Many-variable functorial calculus. I. - 字舞流文

Many-variable functorial calculus. I.

[1] Coherence for a closed functor , 1972 .

[2] G. M. Kelly. An abstract approach to coherence , 1972 .

[3] G. M. Kelly,et al. Closed coherence for a natural transformation , 1972 .

[4] G. M. Kelly,et al. Coherence in closed categories , 1971 .

[5] John W. Gray,et al. The categorical comprehension scheme , 1969 .

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

[7] Functors between tensored categories , 1966 .

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

[9] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .