Avendia 19 — 人工言語シャレイア語

依存型の圏論的意味論

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解析的関手と弱正規形