暂无分享，去创建一个
G. M Kelly | G.M Kelly
[1] Saunders MacLane,et al. Natural Associativity and Commutativity , 1963 .