态族带序结构的范畴

摘要

范畴的态族可以赋予一些结构,如Ab范畴,但在自然界中我们大量接触的是连续现象,作为现代分析的基础,连续是用序关系处理的.因此,本文赋予范畴的态族一个序结构,引进了带序范畴和正序函子,以此作为连续性的一种范畴描述.如范畴C带T_0拓扑,若(?)U_fg,(?)U_f,U_g,使得U_fg=U_f.U_g.则按开集的一种包含关系即构造出带拓扑的范畴上的序结构。