Coherence for compact closed categories
暂无分享,去创建一个
[1] Saunders MacLane,et al. Natural Associativity and Commutativity , 1963 .
[2] G. M. Kelly,et al. A generalization of the functorial calculus , 1966 .
[3] G. M. Kelly,et al. Coherence in closed categories , 1971 .
[4] G. M. Kelly. Many-variable functorial calculus. I. , 1972 .
[5] A cut-elimination theorem , 1972 .
[6] G. M. Kelly. An abstract approach to coherence , 1972 .
[7] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .
[8] R. Street,et al. Review of the elements of 2-categories , 1974 .
[9] G. M. Kelly. On clubs and doctrines , 1974 .
[10] J. Conway. On Numbers and Games , 1976 .
[11] Brian Day,et al. Note on compact closed categories , 1977, Journal of the Australian Mathematical Society.