Аннотация
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.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)