FIBRATIONS OF AU-CONTEXTS BEGET FIBRATIONS OF TOPOSES

被引：0
|
作者：
Hazratpour, Sina [1 ]
Vickers, Steven [1 ]
机构：
[1] Univ Birmingham, Sch Comp Sci, Birmingham, W Midlands, England
来源：
THEORY AND APPLICATIONS OF CATEGORIES | 2020年 / 35卷
关键词：
internal fibration; 2-fibration; context; bicategory; elementary topos; Grothendieck topos; arithmetic universe;
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Suppose an extension map U: T-1 -> T-0 in the 2-category Con of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in Con. If M is a model of T-0 in an elementary topos S with nno, then the classifier p: S[T-1/M] -> S satisfies the representable definition of being an (op)fibration in the 2-category epsilon Iop of elementary toposes (with nno) and geometric morphisms.
引用
收藏
页码：562 / 593
页数：32
相关论文
共 50 条
  • [31] Noncommutative fibrations
    Kaygun, Atabey
    COMMUNICATIONS IN ALGEBRA, 2019, 47 (08) : 3384 - 3398
  • [32] MAPPING FIBRATIONS
    MARAR, WL
    MANUSCRIPTA MATHEMATICA, 1993, 80 (03) : 273 - 281
  • [33] RIGIDITY OF FIBRATIONS
    Pereira, Jorge Vitorio
    Sad, Paulo
    ASTERISQUE, 2009, (323) : 291 - 299
  • [34] AUTOMORPHISMS OF FIBRATIONS
    DROR, E
    DWYER, WG
    KAN, DM
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 80 (03) : 491 - 494
  • [35] Digital Fibrations
    Ege, Ozgur
    Karaca, Ismet
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES INDIA SECTION A-PHYSICAL SCIENCES, 2017, 87 (01) : 109 - 114
  • [36] Lagrangian Fibrations
    D. Huybrechts
    M. Mauri
    Milan Journal of Mathematics, 2022, 90 : 459 - 483
  • [37] EXTENSIONS OF FIBRATIONS
    HALBHAVI, IG
    VARADARAJAN, K
    INDIANA UNIVERSITY MATHEMATICS JOURNAL, 1976, 25 (08) : 801 - 808
  • [38] ON TODA FIBRATIONS
    GRAY, B
    MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1985, 97 (MAR) : 289 - 298
  • [39] Fibrations and nullifications
    Berrick, AJ
    Farjoun, ED
    ISRAEL JOURNAL OF MATHEMATICS, 2003, 135 (1) : 205 - 220
  • [40] Simplicial fibrations
    Desamparados Fernández-Ternero
    José Manuel García-Calcines
    Enrique Macías-Virgós
    José Antonio Vilches
    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 2021, 115
12345