Equality of morphism and coherence theorem for biclosed categories
type: Item
instance of: scholarly article
title: Equality of morphism and coherence theorem for biclosed categories
zbMATH Open document ID: 0509.18003
DOI: 10.1007/BF01084389
author: Yanyan Li
published in: Journal of Soviet Mathematics
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 3803701
zbMATH Keywords: equality problem for canonical morphisms
zbMATH Keywords: biclosed categories
zbMATH Keywords: coherence theorem for canonical morphisms
MaRDI profile type: Publication
cites work: Q5595187
cites work: The Connection between Equivalence of Proofs and Cartesian Closed Categories
cites work: Coherence in closed categories
description: scientific article; zbMATH DE number 3803701