Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-26T09:54:41.008Z Has data issue: false hasContentIssue false
  • English
  • Français

W-types in homotopy-type theory – CORRIGENDUM

Published online by Cambridge University Press:  05 April 2016

BENNO VAN DEN BERG  and
IEKE MOERDIJK
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Corrigendum
Information
Mathematical Structures in Computer Science , Volume 28 , Issue 1 , January 2018 , pp. 140
Copyright
Copyright © Cambridge University Press 2016 

References

Berg, B. van den and Moerdijk, I. W-types in homotopy type theory. Mathematical Structures in Computer Science. Published by Cambridge University Press, 24 November 2014. doi: 10.1017/S0960129514000516 Google Scholar