Coherence for closed categories with biproducts

JOURNAL OF PURE AND APPLIED ALGEBRA

卷:225

Article

Petric, Zoran¹  Zekic, Mladen¹ 

[1] Math Inst SANU, Knez Mihailova 36,Pf 367, Belgrade 11001, Serbia

关键词: Symmetric monoidal closed category;    Compact closed category;    Dagger category;    Enriched category;    Cobordism;   

DOI  :  10.1016/j.jpaa.2020.106533

来源: Elsevier

【 摘 要 】

A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is also explained how to prove coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts by using the same technique. (C) 2020 Elsevier B.V. All rights reserved.

【 授权许可】

Free