Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)


An elementary theory of the category of topological spaces

Author: Dana I. Schlomiuk
Journal: Trans. Amer. Math. Soc. 149 (1970), 259-278
MSC: Primary 18.10
MathSciNet review: 0258914
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: An elementary system of axioms was given by F. W. Lawvere for the category of sets and mappings. The purpose of this paper is to provide a finite number of elementary axioms for the category of topological spaces and continuous mappings and to prove that any model of these axioms is equivalent to ``the category of topological spaces'' constructed over some model of Lawvere's axioms. Furthermore, we prove that any complete category, model of the given axioms is equivalent to the category of topological spaces.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 18.10

Retrieve articles in all journals with MSC: 18.10

Additional Information

PII: S 0002-9947(1970)0258914-7
Keywords: Extremal monomorphism, regular monomorphism, regular image, projective generator, suitable topology, exponentiation axiom, Lawvere's axiom of infinity
Article copyright: © Copyright 1970 American Mathematical Society