Vol. 88, No. 1, 1980

Recent Issues
Vol. 329: 1
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
Monoidal closed, Cartesian closed and convenient categories of topological spaces

Peter I. Booth and J. Tillotson

Vol. 88 (1980), No. 1, 35–53

This paper develops a unified theory of function spaces M𝒜(Y,Z) with set-open topologies, the sets in question being the continuous images of selected classes of topological spaces 𝒜. We prove that at least five of these function spaces are distinct and have corresponding exponential homeomorphisms 𝜃 : M𝒜(X,M𝒜(Y,Z))M𝒜(X ×𝒜Y,Z) for suitably retopologized product spaces X ×𝒜Y . Singleton spaces are normally identities with respect to these products and so we have determined four distinct monoidal closed structures for the category of all spaces. Conditions for the category of spaces generated by 𝒜, i.e., the coreflective hull of 𝒜, to be cartesian closed and/or convenient are given. One result asserts that the category of sequential spaces is the smallest convenient category.

Mathematical Subject Classification 2000
Primary: 55U40
Secondary: 18B30, 18D15, 54B10, 54C35
Received: 2 October 1978
Revised: 29 June 1979
Published: 1 May 1980
Peter I. Booth
J. Tillotson