Avendia19
English

領域理論

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

余自由余代数

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

層とトポス

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

エンドとコエンド

18/10/28エンドとコエンド

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豊穣圏の定義

依存型の圏論的意味論

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

代数的集合論

18/04/16代数的集合論の流れ

線型論理

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

解析的関手と正規関手

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