拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．

拓扑空间偶范畴中的同伦正则态射

本文将点标拓扑空间范畴中的同伦单、同伦满和同伦正则态射等概念推广到拓扑空间偶范畴的情形。研究了在中,同伦正则态射存在的条件、性质以及它与同伦单(满)态和同伦等价之间的关系。

双预拓扑空间的连通类

运用拓扑和范畴论方法研究了双预拓扑空间的连通类,给出了双预拓扑空间连通类的等价刻画.证明了双预拓扑空间范畴是topological construct、最小双预拓扑空间连通类和最大双预拓扑空间连通类是存在的、双预拓扑空间连通类是连续闭的、一族双预拓扑空间连通类的交是双预拓扑空间连通类.并且建立了预拓扑空间连通类与双预拓扑空间连通类的密切联系.

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．

拓扑分子格范畴与相关范畴的关系

以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系。

SEPARATED FRAMES

In this paper we shall offer a separation axiom for frames inspired by the Hausdorff separation axiom for topological spaces. We call it separated condition. This is a condition on topology OX equivalent to the T O space X being Hausdorff. The class of separated frames includes that of strong Hausdorff frames and that of S frames. We shall show that the class of separated frames is a class closed under the formation of coproducts and subspaces, and the space Fil( L ) is Hausdorff for any separated frame L . Therefore there is a contravariant adjunction between the category TOP 2 of Hausdorff topological spaces and the category FRAM 2 of separated frames.

locale范畴中的逆极限

给出locale范畴中逆极限结构的明确描述 .借助于引入的一种新的极限形式———集体拉回 ,详细讨论了逆极限的性质 ,特别地 ,不用选择公理证明了locale形式的Steenrod定理 ,并且证明了紧空间式locale的逆极限一般不是空间式的 .作为在拓扑空间范畴中的应用 。