期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
逻辑框架的范畴语义
1
作者 傅育熙 《软件学报》 EI CSCD 北大核心 1997年第A00期473-478,共6页
本文研究逻辑框架的范畴语义,给出逻辑框架模型论中一重要定理-内范涛定理。在此基础上,本文研究逻辑框架编码的语义,给出了可定义性及可编码性定义。
关键词 逻辑框架 范畴语义 内范畴 数据理逻辑
下载PDF
Equivalence of crossed product of linear categories and generalized Maschke theorem 被引量:1
2
作者 鹿道伟 王栓宏 《Journal of Southeast University(English Edition)》 EI CAS 2016年第2期258-260,共3页
Some sufficient and necessary conditions are given for the equivalence between two crossed product actions of Hopf algebra H on the same linear category, and the Maschke theorem is generalized. Based on the result of ... Some sufficient and necessary conditions are given for the equivalence between two crossed product actions of Hopf algebra H on the same linear category, and the Maschke theorem is generalized. Based on the result of the crossed product in the classic Hopf algebra theory, first, let A be a k-linear category and H be a Hopf algebra, and the two crossed products A#_σH and A#'_σH are isomorphic under some conditions. Then, let A#_σH be a crossed product category for a finite dimensional and semisimple Hopf algebra H. If V is a left A#σH-module and WC V is a submodule such that W has a complement as a left A-module, then W has a complement as a A#_σH-module. 展开更多
关键词 linear category inner action crossed product generalized Maschke theorem
下载PDF
From Zi Wei (滋味) to Qi Yun(氣韵), and Yi Jing (意境): Rethinking of Chinese Traditional Artistic Category System
3
作者 Y1 Cun-guo 《Journal of Literature and Art Studies》 2015年第3期196-205,共10页
The Chinese traditional aesthetic culture not only pay attention to the overall sense of He Xie (Harmony, 和谐), and pay attention to a kind of artistic conception as Zi Wei (滋味), Qi Yun (氣韵), and YiJing (... The Chinese traditional aesthetic culture not only pay attention to the overall sense of He Xie (Harmony, 和谐), and pay attention to a kind of artistic conception as Zi Wei (滋味), Qi Yun (氣韵), and YiJing (意境) as well. Mr. JI Xian-lin had tried to start from Zi Wei (滋味), a new comprehension to open a new understanding on Chinese aesthetics. Hence, we embark from the Chinese aesthetic culture and its basic spirit, the humanistic connotation of Zi Wei (滋味), which sounds with the basis, put forward it into a Music-Dance Spirit (乐舞精神) in Chinese art through this unique view, has made a new thinking to the Chinese traditional aesthetic artistic category system. 展开更多
关键词 aesthetic culture He Xie (Harmony 和谐) Zi Wei (滋味) Qi Yun (氣韵) Yi Jing (意境). Music-DanceSpirit (乐舞精神)
下载PDF
李2-代数构造2-顶点代数(英文)
4
作者 陈伟 邓未冰 《河南大学学报(自然科学版)》 CAS 2015年第5期515-520,共6页
利用内范畴的工具给出2-顶点代数的概念.接着给出两个2-顶点代数的直和和张量积还是2-顶点代数这一重要性质.作为2-顶点代数的例子,从一个李2-代数g出发构造一个2-顶点代数Vk(g).
关键词 内范畴 2-顶点代数 李2-代数
原文传递
On the Flatness and Injectivity of Dual Modules(II)
5
作者 黄兆泳 唐金玉 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2001年第3期377-383,共7页
For a commtative ring R and an injective cogenerator E in the category of R-modules, we characterize QF rings, IF rings and semihereditary rings by using the properties of the dual modules with respect to E.
关键词 QF rings FLATNESS INJECTIVITY dual modules.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部