HoTT のモデルに関する文献
モデルがないとよくわからない気がしたのでモデルを知りたい,ということで参考になりそうな文献を探してみました(まだ読んでない)。新しい順。
- Awodey: Natural models of homotopy type theory (2014) http://arxiv.org/abs/1406.3219
- van den Berg, Garner: Topological and simplicial models of identity types (2011) http://arxiv.org/abs/1007.4638
- Awodey, Warren: Homotopy theoretic models of identity types (2007) http://homotopytypetheory.org/references/awodey-warren-homotopy-theoretic-models-of-identity-types/
- Hofmann, Streicher: The groupoid interpretation of type theory (1998) http://homotopytypetheory.org/references/hofmann-streicher-the-groupoid-interpretation-of-type-theory/
- Hofmann: Syntax and Semantics of Dependent Types (1997)
- Hofmann: On the interpretation of type theory in locally cartesian closed categories (1994)