W-types in homotopy type theory

DSpace/Manakin Repository

W-types in homotopy type theory
 
Van Den Berg, Benno; Moerdijk, Ieke
(2015) Mathematical Structures in Computer Science, volume 25, issue 5, pp. 1100 - 1115
(Article)
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.
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
Keywords: Taverne, Mathematics (miscellaneous), Computer Science Applications
DOI: https://doi.org/10.1017/S0960129514000516
ISSN: 0960-1295
Publisher: Cambridge University Press
Note: Publisher Copyright: © 2014 Cambridge University Press.
(Peer reviewed)
 
 
See more statistics about this item