检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《厦门大学学报(自然科学版)》2013年第5期592-599,共8页Journal of Xiamen University:Natural Science
基 金:国家自然科学基金项目(11126331);华侨大学高层次人才科研启动费项目(11BS222)
摘 要:从相对正合2-范畴S出发,给出了2-范畴中拉回的若干性质.首先,证明了拉回在等价意义下是存在且唯一的;其次,设(A1×B A2,f′1,f′2,ξ)为f1与f2的拉回,证明了Ker(f1)与Ker(f′2)等价,Ker(f2)与Ker(f′1)等价;最后,证明了大方框拉回与小方框拉回之间联系的相关结论.Let S be a relatively exact 2-category,then we get a few proterties c,f the pullback in 2-category. Firstly, we prove that the pullback is unique under equivalence. Then, Let (A1×BA2,f1′,f′2,ξ) be a pullback of f1 and f2, we prove that Ker(f1 ) and Ker (f'2) are equivalent,so are Ker(f2 ) and Ker(f'l ). Finally, we give the relationship between a big pullback diagram and two small pullback diagrams.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145