A Kripke model for simplicial sets

作者：Bezem Marc^*; Coquand Thierry

来源：Theoretical Computer Science, 2015, 574: 86-91.

DOI：10.1016/j.tcs.2015.01.035

• Simplicial set
• Kripke model
• Constructivity

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.

• 出版日期2015-4-6