W-types in homotopy-type theory – CORRIGENDUM
2016 ◽
Vol 28
(1)
◽
pp. 140-140
Keyword(s):
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.
Keyword(s):
Keyword(s):
2015 ◽
Vol 25
(5)
◽
pp. 1040-1070
◽
2014 ◽
Vol 25
(5)
◽
pp. 1100-1115
◽
Keyword(s):