W-types in homotopy-type theory – CORRIGENDUM. (5th April 2016)
- Record Type:
- Journal Article
- Title:
- W-types in homotopy-type theory – CORRIGENDUM. (5th April 2016)
- Main Title:
- W-types in homotopy-type theory – CORRIGENDUM
- Authors:
- VAN DEN BERG, BENNO
MOERDIJK, IEKE - Abstract:
- Abstract : In the article below, Theorem 3.4 requires the additional assumption that A is Kan as well. Indeed, the inductive proof as given only shows that if W ( f )<α is a Kan complex, then W ( f )<α+1 → A is a Kan fibration.
- Is Part Of:
- Mathematical structures in computer science. Volume 28:Number 1(2018)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 28:Number 1(2018)
- Issue Display:
- Volume 28, Issue 1 (2018)
- Year:
- 2018
- Volume:
- 28
- Issue:
- 1
- Issue Sort Value:
- 2018-0028-0001-0000
- Page Start:
- 140
- Page End:
- 140
- Publication Date:
- 2016-04-05
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129516000025 ↗
- 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:
- 5503.xml