Equality of morphism and coherence theorem for biclosed categories
equality problem for canonical morphisms
coherence theorem for canonical morphisms
scientific article; zbMATH DE number 3803701