函子范畴的Smath积

证明了k上G-分次范畴的函子范畴仍是k上G-分次范畴.并在此基础上,考虑k上G-分次范畴的冲积范畴与函子范畴的关系,证明了(D#G)C≌DC#G.     

函子范畴与k-范畴

证明了k上小范畴（G-范畴）的函子范畴仍为k上小范畴（G-范畴）.     

范畴的理想及其应用

刻画了函子范畴     

与L-Fuzzy对偶的拓扑范畴及等价函子

本引入CKBS范畴的对偶范畴^-CDBS。并证明两个函子T1、T2与函子T之间的自然等价关系。     

与L-Fuzzy对偶的拓扑范畴及等价函子

本文引入CKBS范畴的对偶范畴(CDBS-).并证明两个函子T1、T2与函子T之间的自然等价关系.     

函子范畴的Incidence代数的两个例子

以箭图Q₁,Q₂,Q₃为例,构造有限偏序k范畴Γ₁,Γ₂,考虑Γ₁,Γ₂及函子范畴Γ₁^Γ2诱导的incidence代数的两个例子。     

CF群范畴的积与上积

在笔者定义的CF对称群范畴的基础上,给出了更一般的CF群范畴的定义,讨论了CF群范畴的积与上积,并给出积与上积的唯一性证明。     

由伴随函子对导出的Comma范畴

设C、D是范畴,F：C→D,G：D→C是共变函子,且（F,G）是一个伴随函子对．对于C中任意给定的对象C．主要研究Comma范畴G^C与F^F（C）之间的关系．     

关于左三角范畴定义的一个等价条件

本文给出了左三角范畴定义的一个等价条件,得出可以替代八面体公理的一个交换图。     

关于语义范畴模糊性的思考

结合认知语言学原型范畴理论和模糊集合理论,探讨语义的模糊性。分析语义范畴模糊性背后的认知理据,并对范畴外延不确定性、语义交集现象、模糊分界的相对性以及模糊语义扩大的方向性等问题进行思考。     

自然范畴的一点注记

设C,D是两个范畴,S,T∶C→D是两个函子,η∶S→T是自然变换,另外T0T1C→C×2分别是顶函子和底函子,μ∶T0→T1是自然变换.给出由μ和η分别确定的自然范畴Nat（μ）与Nat（η）间的关系,最后用一个例子说明了这个关系.     

函子的几个性质

讨论了模范畴中可加函子与半正合函子间的关系及自然同构函子的性质。     

关于拉回函子的一个注记

本文在余Comma范畴上引进拉回函子概念,并讨论了拉回函子的性质.     

群范畴中的自由对象及其生成元集

通过构造群范畴中任一非空集合上的自由对象F,即若l:X→F是包含映射,G是群,f:X→G 是集合映射,则存在唯一的群同态:F→G,使得 l=f,并且证明了若对于i:X→F ,F为群范畴中X上的自由对象,则i(X)是群F的生成元集合.     

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

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

半环的半模范畴与加性regular范畴

证明任意半环上的半模范畴是加性regular范畴,并给出半模的函子表示。证明了加性regular范畴关于伴随对的左右平凡扩张范畴是同构的。最后应用至半模范畴,得到半环S的半模范畴S-S Mod关于Hom函子Homs（M,）的左平凡扩张范畴HomS（M,）∝S-SMod和S-SMod关于张量函子M×S-的右平凡扩张范畴S-SMod∝×S-是范畴等价。