The researches of limits in categories are an important and essential problem in category theory. If the limit and colimit structures in a concrete category having limit and colimit are constructed, then a lot of prop...The researches of limits in categories are an important and essential problem in category theory. If the limit and colimit structures in a concrete category having limit and colimit are constructed, then a lot of properties in the category will become展开更多
A topological molecular lattice (TML) is a pair (L, r), where L is a completely distributive lattice and T is a subframe of L. There is an obvious forgetful functor from the category TML of TML’s to the category Loc... A topological molecular lattice (TML) is a pair (L, r), where L is a completely distributive lattice and T is a subframe of L. There is an obvious forgetful functor from the category TML of TML’s to the category Loc of locales. In this note, it is showed that this forgetful functor has a right adjoint. Then, by this adjunction, a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.展开更多
文摘The researches of limits in categories are an important and essential problem in category theory. If the limit and colimit structures in a concrete category having limit and colimit are constructed, then a lot of properties in the category will become
基金973 Programs (2002cb312200) Huo Yingdong Education Foundation and TRAPOYT.
文摘 A topological molecular lattice (TML) is a pair (L, r), where L is a completely distributive lattice and T is a subframe of L. There is an obvious forgetful functor from the category TML of TML’s to the category Loc of locales. In this note, it is showed that this forgetful functor has a right adjoint. Then, by this adjunction, a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.
