>>565
その話面白そう　(m,n)-圏に関するソースありませんか
(1,0)-圏がモノイド、(2,0)-圏で可換になるってどういうことですか