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 条

[21] SPHERICAL FIBRATIONS
NOAKES, JL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 3 (02) : 853 - 856
[22] PROJECTIVE FIBRATIONS
OBADEANU, V
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 276 (04): : 269 - 271
[23] On equivariant fibrations
Booth, PI
Hoskins, PJ
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2002, 9 (04) : 545 - 554
[24] FIBRATIONS THAT ARE COFIBRATIONS
ALONSO, JM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 87 (04) : 749 - 753
[25] ON FIBRATIONS THAT ARE COFIBRATIONS
SHEN, WH
ZUO, ZS
TOPOLOGY AND ITS APPLICATIONS, 1995, 66 (02) : 159 - 169
[26] Concrete Fibrations
Pagnan, Ruggero
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2017, 58 (02) : 179 - 204
[27] WEAK FIBRATIONS
BANACH, R
JOURNAL OF PURE AND APPLIED ALGEBRA, 1993, 86 (01) : 7 - 22
[28] DOUBLE FIBRATIONS
Cruttwell, G. S. H.
Lambert, M. J.
Pronk, D. A.
Szyld, M.
THEORY AND APPLICATIONS OF CATEGORIES, 2022, 38 : 1326 - +
[29] A note on fibrations
Michael, Adel A. George
RESULTS IN MATHEMATICS, 2007, 51 (1-2) : 107 - 109
[30] TREE FIBRATIONS
ZAMBONI, LQ
HOUSTON JOURNAL OF MATHEMATICS, 1995, 21 (01): : 53 - 74

← 1 2 3 4 5 →