通过广义关系自定义超图类别
摘要
出版物: -
arXiv电子打印 发布日期: 2017年3月 DOI(操作界面): -
10.48550/arXiv.1703.01204 arXiv公司: -
arXiv公司:1703.01204 书目代码: -
2017年8月17日170301204M 关键词: -
计算机科学——计算机科学中的逻辑; 数学-范畴理论
电子打印: doi:10.4230/LIPIcs。 加利福尼亚州2017.17