,

W-types in Homotopy Type Theory

, и .
(2013)cite http://arxiv.org/abs/1307.2765arxiv:1307.2765.

Аннотация

We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.

тэги

Пользователи данного ресурса

  • @t.uemura

Комментарии и рецензии