レンズの圏論的考察
22/01/03
オプティックとモナド代数
21/10/12
レンズからオプティックへ
21/10/10
レンズの圏論的考察 (その 3)
21/10/09
レンズの圏論的考察 (その 2)
21/07/07
レンズの圏論的考察
Chu 構成とダイアレクティカ圏の統一
二重貼り合わせ圏
整合空間と線型論理
線型論理の圏論的意味論
20/11/13
Chu 構成上の余自由コモノイド (その 2)
20/10/11
Chu 構成上の余自由コモノイド
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
解析的関手と弱正規形