単なる圏ではなくて多圏〈polycategory〉という概念が必要になることがけっこうあります。例えば、シーケント計算、テンソル計算、データベース理論などの圏論的定式化には多圏が欲しいところです。しかし、多圏をちゃんと定義するのはなかなかに難しい。そ…