計算可能性理論
25/12/31
Ackermann 関数の一般再帰性
25/12/30
一般再帰関数
25/12/29
Ackermann 関数
25/12/26
自然数列のコーディング
25/12/25
場合分けと有界最小化
25/12/24
原始再帰的な関係
25/12/23
原始再帰関数
25/12/22
イントロダクション
様相論理
25/03/25
重要な体系に対する具体的な完全性
25/03/22
完全性
25/03/20
極大整合的集合と論理演算子
25/03/17
極大整合的集合と Lindenbaum の補題
25/03/10
健全性
25/03/08
スキーマの間の関係性
25/03/06
双対と de Morgan の法則
25/03/04
置換定理
25/03/03
重要な恒真式 (演繹体系版)
25/02/26
様相論理の演繹体系
25/02/25
重要なスキーマ
25/02/24
重要な恒真式 (意味論版)
25/02/23
様相論理とフレーム意味論
レンズの圏論的考察
22/01/03
オプティックとモナド代数
21/10/12
レンズからオプティックへ
21/10/10
レンズの圏論的考察 #3
21/10/09
レンズの圏論的考察 #2
21/07/07
レンズの圏論的考察
整合空間と線型論理
線型論理の圏論的意味論
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
解析的関手と弱正規形