topos理论相关论文
本文在一般topos中引入了构造性连续格的定义，深入研究了topos中的构造性连续格有关性质，并给出了topos中选择公理的一个等价刻画.主......
Locke理论是经典拓扑学的代数形式推广，locke理论的一个重要应用是topos理论。本学位论文在已有的理论成果的基础上，对拓扑空间范畴......
