Electronic Resource
Springer
Journal of mathematical sciences
22 (1983), S. 1281-1285
ISSN:
1573-8795
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract With the help of proof theory, the problem of recognizing equality of canonical morphisms and the problem of a coherence theorem for biclosed categories are reduced to the corresponding problems for closed categories, which have been solved by the author in his previous work.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01084389
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |