あれれ、連接を非可換モノイド積と考えて、さらに、このモノイド積を横結合と考え、2つのトレースを持つ圏を考えればいいのか？ 連接＝横結合とするなら、もうひとつ縦連接とでも呼ぶべきモノイド積が必要になるな。なんだ、よくわからんけど、再帰が二方向…

Samson Abramsky, Ross Duncan "A categorical quantum logic"（http://www.mathstat.dal.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf）に次のように書いてある。 An LCCB2 sequent is of the form Γ |- Δ; [L]where Γ, Δ are lists of formulae and L…

pivotalを辞書で引くと：「回転の軸となる」、「中枢の」中枢圏はいかにもマズイし、回転軸圏は長いし、軸圏か軸的圏か？ カタカナでピボット圏、ピボタル圏。うーん、どれもよくない。

「モナドと上江州拡張」にて： モナドのKleisli圏と上江州拡張はなんらかの関係があるってことだな。 項(Term)モナドと上江州拡張の関係をハッキリさせる -- これ課題。方針としては、まず、項モナド（実際は、モナドのKleisli圏）を、[0]={}, [1]={1}, [n]=…