检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华中农业大学理学院,武汉430070 [2]中国地质大学数理学院,武汉430074
出 处:《华中师范大学学报(自然科学版)》2008年第3期343-345,共3页Journal of Central China Normal University:Natural Sciences
基 金:国家自然科学基金项目(19771062)
摘 要:在范畴C中以推出为对象,推出态射为态射构成推出范畴C□.本文了给出了范畴C□中的三角可换定理,并得到了C□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴.This paper studies the properties of the category C^□ consisting of pushouts and pushout-morphisms. It establishes the theorem of triangular commutative diagrams for C^□, and gives a sufficient condition for the existence of coproducts in C^□. Furthermore, it proves that if C is an additive category, then so is C^□.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.40