『圏論の地平線』

著者：

訳者：

版元：

発行年：

頁数：

形態：

流通：

定価：

所持：

コンパクト閉圏

プロセス計算

並行・並列を表現するにはテンソル圏が使えそう

テンソル圏

テンソル積

表現論

意味論

量子群

並行分離論理

グロタンディーク・トポス

豊穣圏(enriched category)

モデル圏

エフェクト(effect)

随伴、represntabilityとUniversal Mapping Property(UMP)

随伴関手定理(adjoint functor theorem)