A Kripke model for simplicial sets
Artikel i vetenskaplig tidskrift, 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

Författare

M. Bezem

Universitetet i Bergen

Thierry Coquand

Göteborgs universitet

Theoretical Computer Science

0304-3975 (ISSN)

Vol. 574 86-91

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1016/j.tcs.2015.01.035

Mer information

Senast uppdaterat

2018-03-27