先ほど書いた「関手と自然変換：コゥゼンの記号法」より： 絵算派の僕としては、以上のことは、2-圏や二重圏の交替律（interchange law）をグロービュラー図／タイル図に描けば明らかな事実なので「そりゃそうだろう」とも思うのです 気になるので書いておき…

デクスター・コゥゼン（Dexter Kozen）は、クリーネ代数の研究者として有名ですが、その他の分野でも面白いアイディアを色々導入している計算科学者です。コォゼンは、明らかに圏論が使えそうな状況でも（わざと？）使ってなかったりするので、圏論嫌いなの…