摘要：编织化幺半范畴的词问题至少与解节问题一样困难。作为推论，灰色范畴的词问题也是如此。我们猜测灰色范畴的词问题是可判定的。
作者：Antonin Delpeuch (University of Oxford), Jamie Vicary (University of Cambridge)
论文ID：2105.04237
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-04
PDF 下载： 英文版 中文版pdf翻译中