Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-18T22:00:14.123Z Has data issue: false hasContentIssue false

On embedding closed categories

Published online by Cambridge University Press:  17 April 2009

B.J. Day
Affiliation:
Department of Pure Mathematics, University of Sydney, Sydney, New South Wales;
M.L. Laplaza
Affiliation:
Department of Mathematics, University of Puerto Rico at Mayaguez, Mayaguez, Puerto Rico, USA.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1978

References

[1]Day, Brian, “On closed categories of functors”, Reports of the Midwest Category Seminar IV, 138 (Lecture Notes in Mathematics, 137. Springer-Verlag, Berlin, Heidelberg, New York, 1970).Google Scholar
[2]Day, Brian, “On adjoint-functor factorisation”, Category Seminar, 119 (Proc. Sydney Category Theory Seminar 1972/1973. Lecture Notes in Mathematics, 420. Springer-Verlag, Berlin, Heidelberg, New York, 1974).CrossRefGoogle Scholar
[3]Day, Brian, “An embedding theorem for closed categories”, Category Seminar, 5564 (Proc. Sydney Category Seminar 1972/1973. Lecture Notes in Mathematics, 420. Springer-Verlag, Berlin, Heidelberg, New York, 1974).CrossRefGoogle Scholar
[4]Day, B.J., “Note on monoidal monads”, J. Austral. Math. Soc. (to appear).Google Scholar
[5]Eilenberg, Samuel and Kelly, G. Max, “Closed categories”, Proa. Conf. Categorical Algebra, 421–562 (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar
[6]Kelly, G.M. and MacLane, S., “Coherence in closed categories”, J. Pure Appl. Algebra 1 (1972), 97140.CrossRefGoogle Scholar
[7]Laplaza, Miguel L., “Coherence for associativity not an isomorphism”, J. Pure Appl. Algebra 2 (1972), 107120.CrossRefGoogle Scholar
[8]Laplaza, Miguel L., “Embedding of closed categories into monoidal closed categories”, Trans. Amer. Math. Soc. 233 (1977), 8591.CrossRefGoogle Scholar
[9]de Schipper, W.J., Symmetric closed categories (Mathematical Centre Tracts, 64. Mathematisch Centrum, Amsterdam, 1975).Google Scholar