「コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ）」にて： 「f, ∩f, f∪ の三位一体」を基礎に据えて、コンパクト論理のシーケント計算を道具にして線形代数（の初歩）を展開するのは面白いなー、と思っています。そのことをチャント…

モニャダラセミナーのネタにしようかとも思ったんですが、一般論過ぎるのでエントリーにします。アブラムスキー（ココとかココに写真）は、コンパクト閉圏においてネームとコネームという概念を定義しました。コンパクト閉圏の射fに対して、fのネームとfのコ…