Coherence for closed categories with biproducts

Autor: Petrić, Zoran , Zekić, Mladen
Zdroj: In Journal of Pure and Applied Algebra March 2021 225(3)
Databáze: ScienceDirect