论文标题
与双子根的封闭类别相干性
Coherence for closed categories with biproducts
论文作者
论文摘要
本文显示了对称性单体闭合类别的相干性结果。它可以通过使用相同的技术来证明如何证明具有双脂肪的紧凑型封闭类别以及带有匕首两种匕首的紧凑型封闭类别的连贯性。
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts.
