Hostname: page-component-7dd5485656-zlgnt Total loading time: 0 Render date: 2025-10-31T19:21:39.435Z Has data issue: false hasContentIssue false
  • English
  • Français

On embedding closed categories

Published online by Cambridge University Press:  17 April 2009

B.J. Day  and
M.L. Laplaza
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.

Information

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 18 , Issue 3 , June 1978 , pp. 357 - 371
Copyright
Copyright © Australian Mathematical Society 1978

References

[1]Day, Brian, “On closed categories of functors”, Reports of the Midwest Category Seminar IV, 1–38 (Lecture Notes in Mathematics, 137. Springer-Verlag, Berlin, Heidelberg, New York, 1970).Google Scholar
[2]Day, Brian, “On adjoint-functor factorisation”, Category Seminar, 1–19 (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, 55–64 (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), 97–140.CrossRefGoogle Scholar
[7]Laplaza, Miguel L., “Coherence for associativity not an isomorphism”, J. Pure Appl. Algebra 2 (1972), 107–120.CrossRefGoogle Scholar
[8]Laplaza, Miguel L., “Embedding of closed categories into monoidal closed categories”, Trans. Amer. Math. Soc. 233 (1977), 85–91.CrossRefGoogle Scholar
[9]de Schipper, W.J., Symmetric closed categories (Mathematical Centre Tracts, 64. Mathematisch Centrum, Amsterdam, 1975).Google Scholar