计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
20期
61-62
,共2页
序半群%Quantale%拓扑闭包%范畴
序半群%Quantale%拓撲閉包%範疇
서반군%Quantale%탁복폐포%범주
首先讨论了序半群范畴和Quantale范畴的若干性质以及它们之间的关系,其次证明了Quantale范畴是序半群范畴的反射子范畴,最后得到了由Quantale范畴到序半群范畴的含入函子的余伴随函子.
首先討論瞭序半群範疇和Quantale範疇的若榦性質以及它們之間的關繫,其次證明瞭Quantale範疇是序半群範疇的反射子範疇,最後得到瞭由Quantale範疇到序半群範疇的含入函子的餘伴隨函子.
수선토론료서반군범주화Quantale범주적약간성질이급타문지간적관계,기차증명료Quantale범주시서반군범주적반사자범주,최후득도료유Quantale범주도서반군범주적함입함자적여반수함자.