わだち圏〈トラック圏 | track category〉は、今風に言えば (2, 1)-圏。 k ＞ 2 なk-射は自明 k ＞ 1 なk-射は可逆 ホム圏は亜群になるので、亜郡豊饒な圏。特別な例として： ホムセットが亜集合である圏＝ホムセットに同値関係が載っている圏 わだち圏をベ…

丸山先生の記事で、「アブラムスキー・クッカ対応」と書いてあったけど、「クッカ」に近いのか。それと、この対応はもっと昔の人の名前を使って「カリー・ハワード・ランベック対応」がより一般的だと思う。圏論と量子情報・計算を対応づけたのはアブラムス…