Abstract
This article contains one method of fully embedding a symmetric closed category into a symmetric monoidal closed category. Such an embedding is very useful in the study of coherence problems. Also we give an example of a non-symmetric closed category for which, under the embedding discussed in this article, the resultant monoidal closed structure has associativity not an isomorphism.
Original language | English |
---|---|
Pages (from-to) | 357-371 |
Number of pages | 15 |
Journal | Bulletin of the Australian Mathematical Society |
Volume | 18 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1978 |