Avendia
19
English
シャレイア語
文法書
入門書
データベース
文化
翻訳
シャレイア語論
資料
一覧表
自作ソフト
ダウンロード
Web アプリ
日記
シャレイア語
数学
プログラミング
ゲーム制作
その他
数学
自然言語
Tsuro
その他
日記
数学
エンドとコエンド
18/10/28
エンドとコエンド
2-圏
18/09/04
テンソル対象
18/09/03
錐状極限
18/08/30
2-極限
18/08/29
2-関手の 2-圏
18/08/28
2-関手と 2-自然変換
18/08/27
2-圏の定義
豊穣圏
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
解析的関手と弱正規形