以前、マンダラの話を書いたが、ついつい単純なものを求めたくなる。いかん、いかん。世界はどえらく複雑なのだ！とりあえずコンポネントの圏がどれほどに複雑かを思い出しておこう。出力付きのリグラフ（rigraph）でコンポネントがモデル化されているとする…

二重圏（double categories）についての概要は、これがいいと思う。 Tom Fioreのプレゼン資料"Double Categories and Pseudo Algebras"→http://www.math.uchicago.edu/~fiore/1/fiorefolding.pdf