"Shapely monads and analytic functors" by Richard Garner, Tom Hirschowitz https://arxiv.org/abs/1512.05980 これが多圏類似構造のテキストとして非常によい。多圏類似構造の分類を絵算〈グラフィカル計算〉との関係で論じている。多射の図がどうなるか…

論域が大きい場合〈large domain of discourse〉を考える。 複アロー構成と多アロー構成、そのときのパラメータとしてのコレクションモナド コレクションモナドの一種としてのバンチモナド 型コンテキストと指標は同一概念であること。 命題コンテキストはフ…