长谷川、Masahito;马丁·霍夫曼;戈登·普洛金 有限维向量空间对于追踪对称单体范畴是完备的。 （英语） Zbl 1134.18003号 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，367-385（2008）。 摘要：我们证明了有限维向量空间和任意域上线性映射的范畴（{mathcal V}ect_{k}中的{mathcal-F}）对于由签名自由生成的跟踪对称单体范畴是（集体）完备的，前提是域具有特征0；这意味着，对于自由跟踪范畴中的任意两个不同箭头，总是存在一个强跟踪函子到（{mathcal V}中的{mathcalF}ect_{k}）来区分它们。因此，当且仅当自由跟踪类别中的两个箭头对（{mathcal V}ect_{k}）中的所有解释都一致时，它们才是相同的。有关整个系列，请参见[Zbl 1132.68002号]. 引用于8文件 MSC公司： 18日第10天 单线、对称单线和编织线类别（MSC2010） 18立方厘米 理论（例如代数理论）、结构和语义 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.长谷川}等人，Lect。注释计算。科学。4800、367--385（2008；Zbl 1134.18003） 全文： 内政部 链接