维普中文期刊产品整合服务
共被期刊论文引用了1次 您的检索式:您选中1篇文献正在查看引证文献汇总
    题名 作者 年代 出处 被引量
1范畴K-Cat若干性质的研究显示文摘K-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴K-Cat中的余等值子和余积性质,揭示了范畴K-Cat与范畴Set中余等值子之间的关系,刻画了范畴K-Cat与范畴Set中余积之间的联系,同时证明了范畴K-Cat存在拉回。耿俊 邓勇 2013模糊系统与数学2013,27,5:0
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费