引入了(满层的)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