摘要:研究富图中约定名称的属性。 关于富原始图之间的连续变换的输运,广义化了Yoneda引理。
作者:Gintaras Valiukeviv{c}ius
论文ID:2305.18463
分类:Category Theory
分类简称:math.CT
提交时间:2023-05-31
PDF 下载: 英文版 中文版pdf翻译中