本文在一般topos中引入了构造性连续格的定义，深入研究了topos中的构造性连续格有关性质，并给出了topos中选择公理的一个等价刻画.主......

Locke理论是经典拓扑学的代数形式推广，locke理论的一个重要应用是topos理论。本学位论文在已有的理论成果的基础上，对拓扑空间范畴......

<正> Topos概念的提出(即elementary topos的公理化)是在研究了如下几类范畴之后:Grothendieck topos,集合的范畴S,以及集合论的布......

模糊集理论与Topos理论有着密切的联系,借助于模糊集理论中的集合套理论,引入了两种新的范畴--集合套范畴SEB1和SEB2.首先证明了SE......

重新建立了直觉模糊集的范畴ＩＦｕｚ，证明了范畴ＩＦｕｚ是一个ＷＴｏｐｏｓ，利用ＷＴｏｐｏｓ理论，对直觉模糊集的一类算子做了描述。......