初始的L-外部空间

Initial L-exterior spaces

研究了初始的L-外部空间.构造了L-外部空间范畴的初始结构,并由此定义了L-外部空间的乘积结构和子空间结构,证明了L-外部空间范畴是L-预外部空间范畴的余反射子范畴.

The initial L-exterior spaces are discussed. We construct the initial structure of the category of L-exterior spaces, and then define product space and subspace of L-exterior spaces by the initial structure, prove the category of L-exterior spaces is a coreflective subcategory of the category of L-preexterior spaces.