群partial缠绕结构

首先引入了群partial缠绕结构和群partial缠绕模,并给出例子和性质.最后构造了从群partial缠绕模范畴到模范畴的忘却函子.

偏Doi-Hopf群结构

通过引入偏Doi-Hopf群结构和偏Doi-Hopf群模的概念,推广了Doi-Hopf结构,并给出其应用实例和基本的代数性质.综合群余代数和偏缠绕结构的思想构造了从偏Doi-Hopf群模范畴到模范畴的忘却函子,并证明了它有右伴随函子.

描述面向对象语言抽象语义的几个关键概念

本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。