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 条
12345