A Kripke model for simplicial sets

被引：7
|
作者：
Bezem, Marc [1 ]
Coquand, Thierry [2 ]
机构：
[1] Univ Bergen, Dept Informat, N-5020 Bergen, Norway
[2] Chalmers Univ Gothenburg, Dept Comp Sci & Engn, Gothenburg, Sweden
来源：
THEORETICAL COMPUTER SCIENCE | 2015年 / 574卷
基金：
欧洲研究理事会;
关键词：
Simplicial set; Kripke model; Constructivity;
D O I：
10.1016/j.tcs.2015.01.035
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码：86 / 91
页数：6
相关论文
共 50 条
  • [1] The combinatorial model for the Sullivan functor on simplicial sets
    Felix, Yves
    Jessup, Barry
    Parent, Paul-Eugene
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2009, 213 (02) : 231 - 240
  • [2] A MODEL STRUCTURE ON INTERNAL CATEGORIES IN SIMPLICIAL SETS
    Horel, Geoffroy
    [J]. THEORY AND APPLICATIONS OF CATEGORIES, 2015, 30 : 704 - 750
  • [3] Model structures for (∞, n)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
    Ozornova, Viktoriya
    Rovelli, Martina
    [J]. ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2020, 20 (03): : 1543 - 1600
  • [4] A model structure on the category of pro-simplicial sets
    Isaksen, DC
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2001, 353 (07) : 2805 - 2841
  • [5] A co-reflection of cubical sets into simplicial sets with applications to model structures
    Kapulkin, Krzysztof
    Lindsey, Zachery
    Wong, Liang Ze
    [J]. NEW YORK JOURNAL OF MATHEMATICS, 2019, 25 : 627 - 641
  • [6] Fibrations of Simplicial Sets
    Tibor Beke
    [J]. Applied Categorical Structures, 2010, 18 : 505 - 516
  • [7] SIMPLICIAL SETS INSIDE CUBICAL SETS
    Streicher, Thomas
    Weinberger, Jonathan
    [J]. THEORY AND APPLICATIONS OF CATEGORIES, 2021, 37 : 276 - 286
  • [8] Fibrations of Simplicial Sets
    Beke, Tibor
    [J]. APPLIED CATEGORICAL STRUCTURES, 2010, 18 (05) : 505 - 516
  • [9] SIMPLICIAL AND SEMISIMPLICIAL SETS
    FRITSCH, R
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (02): : 159 - &
  • [10] A canonical enriched Adams-Hilton model for simplicial sets
    Hess, Kathryn
    Parent, Paul-Eugene
    Scott, Jonathan
    Tonks, Andrew
    [J]. ADVANCES IN MATHEMATICS, 2006, 207 (02) : 847 - 875
12345