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

FHaus拓扑范畴的超单态与Dcpo-kLawson拓扑的紧性 研 究 生：王诗云 指导教师：谢琳 ‘ 学科专业：基础数学 摘要：用范畴语言刻划不同类型的子对象是范畴论的…个曩要内容．各种单裔 拓扑空间某贱单态的刻划．文章的最后一部分，通过比较一般的dcpo与完备格的区 别，就dcpo上lawson拓扑的紧性作了较为详细的分析．文章主要内容如下： 的性质入手，引入交零包和余遗传的概念，通过埘这两个概念的讨论研究给出超单 态的一些必要条件，同时给…闭嵌入不是超雏态的一个例子．附带纠正文献【l】I中关 于严格单态的’个命题． 2．讨论了超单态以及正则单态(regular Top，FHaus，Haus，HComp，Ury等)中的刻画． 拓扑不紧的原因．给出一些lawson拓扑紧的dcpo． 关键词：FHaus拓扑范畴，超啦态，lawson拓扑 1引言 为了用范畴语育来刻划子对象，人们引入了各种特殊类型的单态．这些不同的 单态在不同的具体范畴r{J具有不同的性质．尤其在以拓扑空闸为对象的范畴中，由 于一股的连续内射(continuous 不同的拓扑空间范畴叫J就表现出错