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.

Simplicial set

Constructivity

Kripke model

Author

M. Bezem

University of Bergen

Thierry Coquand

University of Gothenburg

Theoretical Computer Science

0304-3975 (ISSN)

Vol. 574 86-91

Subject Categories

Computer and Information Science

DOI

10.1016/j.tcs.2015.01.035

More information

Latest update

3/27/2018