FHaus拓扑范畴的超单态与dcpo上lawson拓扑的紧性.pdfVIP

FHaus拓扑范畴的超单态与Dcpo_kLawson拓扑的紧性 2预备知识 山于在各种文献中，有些概念和符号的用法不完全一致，所以在这一节中对本 文所使用的概念和符号予以必要的解释说明． 一般的，范畴巾的对象均用大写字母A，B表示． 映射的复台用O表示． ” jA 也可以记作C o j2A，若fh=，。女则一定有h=南，即，满足左消去 h，％：Bje，也可咀记作B j2 右消去律． 若A=}jB为一对态则，态射e叫做，与g的等化子．如果e满足 o e (1)，。e=9 0 (2)对任意满足，0e’=9e’的态射e’：E’一A，都存在唯～的一个态射 oi，即三角图 i：E’一E，使得e’=e E’ 一l E 可换． 态射e：E—A叫做JE则单态，如果e是某一剥态射的等化子． 态射m称为超单态，如果m=，。e这里若e是一个上态，则e一定是一个 同构映射fisomorphism)。 态射，：A—B是一个严格单态，如果对任意的态射，’：A’一B，满足只 要对任意的态射对Bj：G，7一，=8 o，就一定有r。，’=s。，’，则存在唯一 的态射，：A’一A，使得，’=，oi．即肯如下交换图 A上。B习：e ，f／“ 态射，：A—B是…个截衙．如果存在态射g：B—A满足id^=go， 3 FHaus拓扑范畴的超单态与DcpoiLawson拓扑的紧性 态射，：A—B是一个收缩，如果存在态射g：B—A满足i如=，。9． A的态射类．在无特别说明的情况下，各拓扑范畴的态射类均为连续映射． 映射，的单点逆蒙一般用【】表示．如果是一一映射，也可用()． 本文涉及到的偏序关系均用符号E表示． 设D是一个dcpo，A是D的一个定向集(directed 上确界：一般的如果A￡_D，A有上确界，则记u为A的上确界． E 』z表巧÷集合{Ⅳ：Yz)，称为z的下集． Tz表示集合{F：Yjz)，称为。的上集． E 设D是‘个dcpo，o，Y∈D如粜对任意的定向集A，若YutA，则存 在n∈A，茁E below a记为z《Y，读作”zway Y”． below下集”． Uz表示集合{Ⅳ：Y《z)，叫做”。的way 的．D是一个dcpo，若V0∈D芦=UUz，则D是’‘个连续dcpo， 本文涉及到其它的概念发相关结果。如没有特殊说明则有关范畴方面的可参 『21或f41． 3 FHaus拓扑范畴的超单态 FHaus(训’译为函数分离咒性)拓扑范畴的对象类定义如下： ，(z)=0，／(y)=1． 畴的正则单态与超单态也都有一个十分简明的刻划(见文章的第三节)．那么 对象类是用映射刻画的。根据空问中的点来定义映射就显得困难重重了．而且 分苛刻，而且很难把握。FHallS拓扑范畴刻划超单态的困难就恰在此．本节主要