ラムダ計算やシーケント計算の意味論を展開する際に、多圏（polycategory）はほぼ必須です。それ無しでやるのは不自然です。にも関わらず、多圏の説明は少なく、敬遠されている傾向があります。それというのも、多圏の扱いがやたらに面倒くさいからでしょう…