凝聚凝聚 localelocale 论文：论文：LocaleLocale 与拓扑空间的凝聚化与拓扑空间的凝聚化【中文摘要】在 locale 范畴或称为其对偶范畴的 frame 范畴的讨论和研究中,由于 locale 理论为拓扑学提供了一个重要的研究手段,在 locale 中完全从集合的开集开始谈论其性质,正是由于locale 理论其研究拓扑结构的一种新的角度,也丰富和发展了拓扑学.一个范畴映射到另一范畴的函子,如果满足一些条件,定义它为扩张函子,对于扩张函子来说,它的相容性、饱和性、稳定性都是知道我们研究探讨的对象,本文主要研究对于凝聚范畴中的一些例子和关系.对于凝聚化这个扩张函子来说,它是相容饱和的；对于它的稳定性,这里给出了对象稳定的几个等价条件和充分条件,如谱 T1 和谱T2,对于拓扑结构稳定性的研究也给出了等价条件,如 frame 中的元是紧元,frame 中每个理想是主理想.【英文摘要】In locale categories (or its dual category, the category of frame), discussion and research for topology locale theory provides an important research means-in the locale fully from the collection in the locale of open sets to its nature. For the study of the topological structure, a locale theory not only opened up a new perspective, but also enriches and develops the topology.A functor from a category mapped to another category, if meets some conditions, we can define it for expansion functor, for expansion overall functor compatibility and saturability, stability is all know we study object, this paper mainly studies for the some of the examples and relationship.For the expansion coherentily functor,it is compatible saturated; For its stability, this gives object stable several equivalent conditions and sufficient conditions such as prime T1 or prime T2; For the stability of the topological structure of the research also given conditions of equivalences, for example in a frame each element is compact or each ideal is principal ideal.【关键词】凝聚 locale 凝聚化 扩张【英文关键词】coherent locale coherention expand【目录】Locale 与拓扑空间的凝聚化 摘要 4-5 Abstract 5 引言 7-8 0.1 问题的提出 7-8 0.2 文章结构 8 1. 背景知识 8-15 1.1 范畴相关的定义 8-10 1.2 函子及其相关的概念 10-15 2. 范畴 FRM 15-17 3. Loc 点化和简要的结果 17-20 4. 凝聚 locale 范畴和凝聚空间范畴的一些范畴性质 20-24 4.1 凝聚空间的例子和性质 20-21 4.2 Coh 到 Sp 的包含映射 i 的范畴性质 21-22 4.3 凝聚空间的几个等价条件 22-24 5 扩张函子 24-29 5.1 扩张函子 25-26 5.2 相容扩张函子 26 5.3 饱和扩张函子 26 5.4 平稳函子 26-27 5.5 凝聚空间的扩张函子 27-29 5.5.1 凝聚空间开集格平稳一些探讨 28 5.5.2 凝聚空间点平稳一些探讨 28-29 6 一些待解决的有趣问题 29-30 参考文献 30-31 附录 A 本文使用的一些范畴符号 31-32 致谢 32