W-types in homotopy type theory. (June 2015)
- Record Type:
- Journal Article
- Title:
- W-types in homotopy type theory. (June 2015)
- Main Title:
- W-types in homotopy type theory
- Authors:
- VAN DEN BERG, BENNO
MOERDIJK, IEKE - Abstract:
- <abstract abstract-type="normal"> <title> <x content-type="archive" xml:space="preserve">Abstract</x> </title> <p>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.</p> </abstract>
- Is Part Of:
- Mathematical structures in computer science. Volume 25:Number 5(2015)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 25:Number 5(2015)
- Issue Display:
- Volume 25, Issue 5 (2015)
- Year:
- 2015
- Volume:
- 25
- Issue:
- 5
- Issue Sort Value:
- 2015-0025-0005-0000
- Page Start:
- 1100
- Page End:
- 1115
- Publication Date:
- 2015-06
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129514000516 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 3008.xml