最近のマイブームは二重圏です（「二重圏、縦横をもう一度」参照）。既存の概念を二重圏ベースで再考してみるとちょっと楽しいです。アローは、ジョン・ヒューズ〈John Hughes〉が考案した関数プログラミングの道具・手法です。ヒューズのアローを二重圏ベー…

二重圏に関する用語は、「二重圏、縦横をもう一度」を見てください。2-圏の図式順演算子記号は次のようにします。 1-射の結合と2-射の横結合 ： $`*`$（アスタリスク） 2-射の縦結合 ： $`;`$（セミコロン） 1-射と2-射のヒゲ結合〈whiskering〉： $`*`$（ア…