本文主要做了三方面的工作。　　在第一部分，我们介绍了一类三角矩阵代数，其中的每个代数叫做一个正规三角矩阵代数。我们刻画了这类......

locale的正则紧反射函子的构造的明确描述问题是由Banaschewski B.和Mulvey C. J.于1980年提出的,十多年来一直没有进展.本文通过......