Avendia19
English

Chu 構成とダイアレクティカ圏の統一

21/06/16Chu 構成とダイアレクティカ圏の統一 (その 2) 21/06/07Chu 構成とダイアレクティカ圏の統一

二重貼り合わせ圏

21/03/12二重貼り合わせ圏

整合空間と線型論理

21/02/04安定写像のトレースと整合空間の冪 21/02/03整合空間の直積と直和 21/02/01整合空間と安定写像

線型論理の圏論的意味論

20/11/13Chu 構成上の余自由コモノイド (その 2) 20/10/11Chu 構成上の余自由コモノイド 20/04/08スター自律圏と Chu 構成 20/04/06線型論理に対応する圏の比較 (その 2) 20/04/05線型論理に対応する圏の比較 18/03/05線型圏の定義

線型論理

18/02/28線型項と簡約 18/02/14線型論理の定義

局所表示可能圏と到達可能圏

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/09λμ-計算と古典論理 20/07/08λμ-計算の定義 20/07/06局所的な書き換え規則への変換 20/07/05継続とラムダ計算

アローの圏論的意味論

20/07/11奇妙テンソル積とバイノイダル圏 20/05/12アロー + 適用計算 20/04/18アローの圏論的意味論 (その 4) 20/04/18アローの圏論的意味論 (その 3) 20/04/16アローの圏論的意味論 (その 2) 20/04/15アローの圏論的意味論

順序数と基数

20/06/08基数の定義と基本的な性質 20/06/05再帰定理と整列可能定理 20/05/31順序数の演算 20/06/01極限順序数と自然数 20/05/29順序数の定義と基本的な性質

領域理論

19/11/09有向集合と完備順序集合

余自由余代数

19/11/09余自由余代数の構成 19/11/08代数と余代数

層とトポス

19/08/25部分対象分類子 19/08/07層の極限と余極限 19/08/02層化関手と随伴 19/08/01層化関手 19/07/27篩と層

2-圏

18/09/04テンソル対象 18/09/03錐状極限 18/08/302-極限 18/08/292-関手の 2-圏 18/08/282-関手と 2-自然変換 18/08/272-圏の定義

豊穣圏

18/08/06重み付き極限 18/08/05豊穣 Yoneda の補題 18/08/02豊穣関手の豊穣圏 18/08/01豊穣関手と豊穣自然変換 18/07/31豊穣圏の定義

Kan 拡張

21/05/12前層圏との間の随伴 21/05/07Kan 拡張概略

依存型の圏論的意味論

18/07/23ファイブレーションと添字付き圏 18/07/17分裂ファイブレーション 18/06/27カルテシアン射とファイブレーション

解析的関手と正規関手

19/01/21線型関手の圏と集合族の圏 18/02/07正規関手を射とするカルテシアン閉圏 18/02/06正規関手の圏と集合族の圏 18/02/04正規関手の余積表現 18/02/03解析的関手の 2 通りの表現 18/02/02解析的関手と弱正規形

その他

21/03/18コモナド理論概略 18/10/28エンドとコエンド 20/05/31不動点演算子とトレース 20/04/10モナドと強モナド 20/03/14集合の圏の随伴による特徴付け 18/04/16代数的集合論の流れ 20/01/03テンソル積の元が 0 であること