Joyal-Tineary定理的表述大体上如下:就是说首先我们可以在topos上定义一类被称为descent的态射;其中有一类很重要的descent,它满足某一个相关典范态射是同构的条件,这种态射被称为effective descent。另外,在topos上我们可以研究locale和space,这些帮助我们建立了open surjection的概念。这个open surjection,毫无疑问充满了...
典范态射 典范态射（canonical morphism）是1993年公布的数学名词，出自《数学名词》第一版。公布时间 1993年，经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。