http://math.ucr.edu/home/baez/qg-fall2006/ http://math.ucr.edu/home/baez/qg-winter2007/ http://math.ucr.edu/home/baez/qg-spring2007/ http://math.ucr.edu/home/baez/atmcs2008/ シーリィの1987年の論文 "Modeling computations: a 2-categorical fr…

Vが対称モノイド閉圏だとして、□がモノイド積、[-, -]はベキ（指数）とする。そのとき、対象A, B, Cに対して、V内で結合を与える射cA,B,C:[A, B]□[B, C]→[A, C] を定義したい。まず、次の自然演繹証明図を考える。 A⊃B A ----------[MP] B⊃C B ----------[MP…