A Kripke model for simplicial sets
Journal article, 2015
By means of a countermodel we show that the homotopy equivalence of the fibers of a Kan fibration over a connected base cannot be proved constructively.
Kripke model
Constructivity
Simplicial set
Author
M. Bezem
Universitetet i Bergen
Thierry Coquand
University of Gothenburg
Theoretical Computer Science
0304-3975 (ISSN)
Vol. 574 86-91Subject Categories (SSIF 2011)
Computer and Information Science
DOI
10.1016/j.tcs.2015.01.035