《代数 domain 的两个笛卡尔闭满子范畴的概念表示》是依托湖南师范大学，由郭兰坤担任项目负责人的青年科学基金项目。项目摘要 本项目拟利用范畴论方法为关系概念分析建立基本的数学模型，通过研究特殊形式背景的概念层次结构的序性质和拓扑性质，在范畴层面实现代数FS-domain 和代数 L-domain 的概念表示。具体地，研究...
满子范畴（full subcategory）是是一种特殊的子范畴。定义 定义1 范畴D称为C的子范畴(sub category)，如果 是 的子类，而且D中的态射的合成和C是一样的。例如，Poset是Set的子范畴。又如果 ，则称D是C的满子范畴(full subcategory)。例如，Grp是Mon的满子范畴。定义2 设S为范畴C的子范畴，若从S到C的...