実は、トーマス・カーラー（Thomas Kerler→http://www.math.ohio-state.edu/~kerler/）の本がいつまで待ってもこないのでイライラ。とりあえず、二重圏について調べることにした。 "Double Categories and Pseudo Algebras" by Tom Fiore →http://www.math.u…

二重圏の定義としては、「“圏の圏Cat”のなかの圏対象（内部圏）」というのが一番スッキリしていると思う。だが、この定義だと、演算法則が露骨に表示されないので、具体性に乏しいし、実際の計算もやりにくい。それに巨大な（小さくない）二重圏の定義には不…