L-外部空间范畴与L-拓扑空间范畴

Category of L-exterior Spaces and Category of L-topological Spaces

引入了(满层的)L-外部空间的概念,证明了(满层的)L-拓扑空间范畴可以嵌入到(满层的)L-外部空间范畴作为具体的反射子范畴,并进一步证明了前者同构于后者的一个满足幂等条件的子范畴.

We introduce a notion of （stratified） L-exterior space, and prove that the category of （stratified） L-to- pological spaces can be embedded into the category of （stratified） L-exterior spaces as a reflective subcategory, further show that the former category is isomorphic to a subcategory which satisfies an idempotent condition of the later category