Avendia
19
English
人工言語
文法書
入門書
データベース
文化
翻訳
シャレイア語論
資料
一覧表
自作ソフト
ダウンロード
Web アプリ
自然言語
フランス語
ドイツ語
ロシア語
日記
人工言語
数学
プログラミング
ゲーム制作
その他
数学
その他
日記
数学
エンドとコエンド
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
線型論理の定義
解析的関手と正規関手
18/02/07
正規関手を射とするカルテシアン閉圏
18/02/06
正規関手の圏と集合族の圏
18/02/04
正規関手の余積表現
18/02/03
解析的関手の 2 通りの表現
18/02/02
解析的関手と弱正規形