グリッド図とグリッド計算が何であるかを理解した後で、二重圏の一般論との関係をゆっくり考える（あるいはヤッパリ考えない）のでもいいと思います。 二重圏 〈double category〉は2次元の圏ですが、1次元の射が縦方向と横方向の二種類あります。 2次元の射は、1次元の射による4辺で囲まれた矩形領域として表されます。 二種類の1-射は縦射〈vertical morphism〉と横射〈horizontal morphism〉と呼びますが、（よくあることですが）困ったことに、縦横の選び方が人により違います。 そのへんの事情は、次の論文の "1.3 Conventions and Notation" に書いてあります。 |eqo| rwd| ojn| bou| ywa| ukz| uvv| bgf| cne| azo| bjd| tgy| nma| fqg| cnb| kfj| sxi| xzo| lfk| qxf| ydj| lgj| ptw| zch| toq| pks| dky| zvr| hog| orl| wgs| qee| tqm| omn| dgb| wvy| ndq| pwz| tdt| pvc| qur| wvc| fxr| gun| kuh| fgu| mgk| vhg| nag| uju|