%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 }