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.
No takes yet. Share an insight, caveat, or question.
Day et al. (1978) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: