TY  - RPRT
TI  - Coherence for closed categories with biproducts
AU  - Zoran Petric
AU  - Mladen Zekic
PY  - 2022
UR  - https://arxiv.org/abs/2001.09736
ID  - 2001.09736
ER  -