W-types in Homotopy Type Theory

Benno van den Berg, Ieke Moerdijk

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…