Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-27T05:17:52.726Z Has data issue: false hasContentIssue false
  • English
  • Français

Topological categories with many symmetric monoidal closed structures

Published online by Cambridge University Press:  17 April 2009

G.M. Kelly  and
F. Rossi
G.M. Kelly
Affiliation:
Department of Pure Mathematics, University of Sydney, Sydney, New South Wales 2006, Australia;
F. Rossi
Affiliation:
Istituto di Matematica, Università degli Studi di Trieste, 34100 Trieste, Italy.
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.

It would seem from results of Foltz, Lair, and Kelly that symmetric monoidal closed structures, and even monoidal biclosed ones, are quite rare on one-sorted algebraic or essentially-algebraic categories. They showed many such categories to admit no such structures at all, and others to admit only one or two; no such category is known to admit an infinite set of such structures.

Among concrete categories, topological ones are in some sense at the other extreme from essentially-algebraic ones; and one is led to ask whether a topological category may admit many such structures. On the category of topological spaces itself, only one such structure - in fact symmetric - is known; although Greve has shown it to admit a proper class of monoidal closed structures. One of our main results is a proof that none of these structures described by Greve, except the classical one, is biclosed.

Our other main result is that, nevertheless, there exist topological categories (of quasi-topological spaces) which admit a proper class of symmetric monoidal closed structures. Even if we insist (like most authors) that topological categories must be wellpowered, we can still exhibit ones with more such structures than any small cardinal.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 31 , Issue 1 , February 1985 , pp. 41 - 59
Copyright
Copyright © Australian Mathematical Society 1985

References

[1[Booth, P. and Tillotson, J., “Monoidal closed, cartesian closed and convenient categories of topological spaces”, Pacific J. Math. 88 (1980), 35–53.CrossRefGoogle Scholar
[2[Brown, R., “Ten topologies for X × Y“, Quart. J. Math. Oxford. Ser. (2) 14 (1963), 303–319.CrossRefGoogle Scholar
[3[Juraj, Činčura, “Tensor products in the category of topological spaces”, Comment. Math. Univ. Carolin. 20 (1979), 431–446.Google Scholar
[4[Brian, Day, “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
[5[Brian, Day, “A reflection theorem for closed categories”, J. Pure Appl. Algebra 2 (1972), 1–11.Google Scholar
[6[Brian, Day, “On closed categories of functors II”, Category Seminar, 20–54 (Proc. Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics, 420. Springer-Verlag, Berlin, Heidelberg, New York, 1974).Google Scholar
[7[Day, B.J. and Kelly, G.M., “On topological quotient maps preserved by pullbacks or products”, Proc. Cambridge Philos. Soc. 67 (1960), 553–558.CrossRefGoogle Scholar
[8[Dubuc, E.J. and Kelly, G.M., “A presentation of topoi as algebraic relative to categories or graphs”, J. Algebra 81 (1983), 420–433.CrossRefGoogle Scholar
[9[Eilenberg, Samuel and Kelly, G.M., “Closed categories”, Proc. Conf. on Categorical Algebra (La Jolla 1965), 421–562 (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar
[10[Foltz, F., Lair, C., and Kelly, G.M., “Algebraic categories with few biclosed monoidal structures or none”, J. Pure Appl. Algebra 17 (1980), 171–177.CrossRefGoogle Scholar
[11[Freyd, P.J. and Kelly, G.M., “Categories of continuous functors I”, J. Pure Appl. Algebra 2 (1972), 169–191.CrossRefGoogle Scholar
[12[Georg, Greve, “How many monoidal closed structures are there in TOP?”, Arch. Math. (Basel) 34 (1980), 538–539.Google Scholar
[13[Georg, Greve, “An extension theorem for monoidal closed topological categories”, Seminarberichte aus dam Fachbereich Mathematik der Fernuniversität 7, 107–119 (Hagen, 1980).Google Scholar
[14[Georg, Greve, “Rigid spaces and mononoidal closedness”, Categorical Aspects of Topology and Analysis; Proceedings 1981, 105–111 (Lecture Notes in Mathematics, 915. Springer-Verlag, Berlin, Heidelberg, New York, 1982).Google Scholar
[15[Georg, Greve, “General construction of monoidal closed structures on topological, uniform and nearness spaces”, Category Theory; Applications to Algebra, Logic and Topology; Proceedings, Gummersbach, 1981, 100–114 (Lecture Notes in Mathematics, 962. Springer-Verlag, Berlin, Heidelberg, New York, 1982).Google Scholar
[16[Horst, Herrlich, “Categorical topology 1971–1981”, General Topology and its Relations to Modern Analysis and Algebra; Proc. 5th Prague Topol. Symposium 1981, 279–383 (Sigma Ser. Pure Math. 3).Google Scholar
[17[Kasangian, S., Kelly, G.M., and Rossi, F., “Cofibrations and the realization of non-deterministic automata”, Cahiers Topologie Géom. Differentielle 24 (1983), 23–46.Google Scholar
[18[Kelly, G.M., Basic concepts of enriched category theory (London Mathematical Society Lecture Notes Series 64. Cambridge University Press, Cambridge, 1982).Google Scholar
[19[Pedicchio, M. Cristina and Rossi, F., “Some remarks on categories with constant maps and monoidal closedness”, Rend. Istit. Mat. Univ. Trieste (to appear).Google Scholar