Bojko Bakalov, Alexander Kirillov "Lectures on Tensor Categories and Modular Functors" http://www.amazon.co.jp/gp/product/0821826867 キリロフ（Kirillov）の講義がベース、バカロフ（Bakalov）は受講者だろう。

「フェース」じゃなくて「フェイス」にした。 フェイス：コンパクト閉圏における域、余域 フロントフェイス：域 バックフェイス：余域 ユーザーサイド： フロントフェイスと同じ クライアントサイド： ユーザーサイドと同じ プラットフォームサイド： バック…

ソフトウェア的な技法 圏論的な解釈 論理計算 ラムダ計算 具体的なモデル ソフトウェア的な技法としては、とりあえずはコンベンションと動的（実行時）演算ライブラリだけを準備して、徒手空拳でも使えることをアピールしよう。もちろん、コンテナ（自動的な…