L-enriched topological systems---a common framework of L-topology and L-frames

Employing the notions of the strong L-topology introduced by Zhangand the L-frame introduced by Yao  and the concept of L-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {\bf StL-Top} of strongL-topological spaces, {\bf SL-Loc} of strict L-locales and{\bf L-EnTopSys} of L-enriched topological systems. All of theseconcepts are essentially based on the theory of L-enrichedcategories, thus we obtain a unified enriched-categorical version ofthe classical adjunctions among the categories {\bf Top} oftopological spaces, {\bf Loc} of locales and {\bf TopSys} oftopological systems, as well as a unified enriched-categoricalapproach to treating these concepts.

کلیدواژه ها:

Enriched category ، Adjunction ، L-ordered set ، Strong L-topology ، L-enriched topological system ، L-frame