Chu 構成とダイアレクティカ圏の統一
二重貼り合わせ圏
整合空間と線型論理
線型論理の圏論的意味論
20/11/13Chu 構成上の余自由コモノイド (その 2)
20/10/11Chu 構成上の余自由コモノイド
20/04/08スター自律圏と Chu 構成
20/04/06線型論理に対応する圏の比較 (その 2)
20/04/05線型論理に対応する圏の比較
18/03/05線型圏の定義
線型論理
局所表示可能圏と到達可能圏
20/10/01局所表示可能圏の表現定理
20/09/30直交クラスと反射的部分圏
20/09/22直交クラスの諸性質
20/09/12前層圏の局所表示可能性
20/08/20コンマ圏の到達可能性
20/08/11到達可能関手の一意化定理
20/08/08到達可能圏の基数の取り替え
20/08/03局所表示可能圏の完備性
20/08/02局所表示可能圏と到達可能圏
20/07/30表示可能対象
20/07/29フィルター余極限と有向余極限
20/07/27終関手と余極限
継続とラムダ計算
アローの圏論的意味論
20/07/11奇妙テンソル積とバイノイダル圏
20/05/12アロー ＋ 適用計算
20/04/18アローの圏論的意味論 (その 4)
20/04/18アローの圏論的意味論 (その 3)
20/04/16アローの圏論的意味論 (その 2)
20/04/15アローの圏論的意味論
順序数と基数
領域理論
余自由余代数
層とトポス
2-圏
豊穣圏
Kan 拡張
依存型の圏論的意味論
解析的関手と正規関手
19/01/21線型関手の圏と集合族の圏
18/02/07正規関手を射とするカルテシアン閉圏
18/02/06正規関手の圏と集合族の圏
18/02/04正規関手の余積表現
18/02/03解析的関手の 2 通りの表現
18/02/02解析的関手と弱正規形