欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
本文引入以完备的Heyting代数为真值集L集合范畴及L幺半群范畴概念,构造了L幺半群模结构与L幺半群T代数结构;讨论了L积函子F与L幺半群单位函子G的伴随性,并证明了与该伴随对应的L比较函子K是一个同构,从而得出L幺半群单位函子G是L可模的。
英文摘要：
In this paper we introduce the category of L sets and the category of L unitary semi-groups,whose true value set is a complete Heyting algebra.Then we construct the L unitary semi-group monad and the L unitary semi-group T algebra.Moreover,we discuss the adjoint of the L product functor F and the L unitary semi-group unit functor G,and prove that the corresponding L comparison functor K is an isomorphism,finally we prove that the L unitary semi-group unit functor G is L monadic.
同期刊论文项目
同项目期刊论文
期刊信息
位置：