B. Berg, and I. Moerdijk. (2013)cite http://arxiv.org/abs/1307.2765arxiv:1307.2765.
Abstract
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.
%0 Generic
%1 berg2013wtypes
%A Berg, Benno van den
%A Moerdijk, Ieke
%D 2013
%K HoTT W-type
%T W-types in Homotopy Type Theory
%U http://arxiv.org/abs/1307.2765
%X 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.
@misc{berg2013wtypes,
abstract = {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.},
added-at = {2014-12-07T08:53:18.000+0100},
author = {Berg, Benno van den and Moerdijk, Ieke},
biburl = {https://www.bibsonomy.org/bibtex/29c19ac0c35ad0a0a231a7a1aeb722f9e/t.uemura},
description = {W-types in Homotopy Type Theory},
interhash = {386e973a973a4c9b87ff935ca1ddfa22},
intrahash = {9c19ac0c35ad0a0a231a7a1aeb722f9e},
keywords = {HoTT W-type},
note = {cite \href{http://arxiv.org/abs/1307.2765}{arxiv:1307.2765}},
timestamp = {2014-12-07T08:53:18.000+0100},
title = {W-types in Homotopy Type Theory},
url = {http://arxiv.org/abs/1307.2765},
year = 2013
}