昨日書いた記事「対称モノイド多圏（簡約版）」に関連しての雑多なお話。過去の記事で何度か触れたように、多圏〈polycategory〉は難しくて閉口します。そんな難しい多圏を何で必要とするのか？ というと、僕の主たる動機は“シーケント計算のモデル”としてで…