Equality of morphism and coherence theorem for biclosed categories
From MaRDI portal
Publication:1838564
DOI10.1007/BF01084389zbMath0509.18003MaRDI QIDQ1838564
Publication date: 1983
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
coherence theorem for canonical morphismsbiclosed categoriesequality problem for canonical morphisms
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)
Related Items
Cites Work