World Library  
Flag as Inappropriate
Email this Article

Category of topological spaces

Article Id: WHEBN0000435051
Reproduction Date:

Title: Category of topological spaces  
Author: World Heritage Encyclopedia
Language: English
Subject: Glossary of topology, Characterizations of the category of topological spaces, Singular homology, Homeomorphism, General topology
Collection: Category-Theoretic Categories, General Topology
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Category of topological spaces

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps or some other variant; for example, objects are often assumed to be compactly generated. This is a category because the composition of two continuous maps is again continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology.

N.B. Some authors use the name Top for the category with topological manifolds as objects and continuous maps as morphisms.

Contents

  • As a concrete category 1
  • Limits and colimits 2
  • Other properties 3
  • Relationships to other categories 4
  • References 5

As a concrete category

Like many categories, the category Top is a forgetful functor

U : TopSet

to the category of sets which assigns to each topological space the underlying set and to each continuous map the underlying function.

The forgetful functor U has both a left adjoint

D : SetTop

which equips a given set with the discrete topology and a right adjoint

I : SetTop

which equips a given set with the indiscrete topology. Both of these functors are, in fact, right inverses to U (meaning that UD and UI are equal to the identity functor on Set). Moreover, since any function between discrete or indiscrete spaces is continuous, both of these functors give full embeddings of Set into Top.

The construct Top is also fiber-complete meaning that the category of all topologies on a given set X (called the fiber of U above X) forms a complete lattice when ordered by inclusion. The greatest element in this fiber is the discrete topology on X while the least element is the indiscrete topology.

The construct Top is the model of what is called a topological category. These categories are characterized by the fact that every structured source (X \to UA_i)_I has a unique initial lift ( A \to A_i)_I. In Top the initial lift is obtained by placing the initial topology on the source. Topological categories have many properties in common with Top (such as fiber-completeness, discrete and indiscrete functors, and unique lifting of limits).

Limits and colimits

The category Top is both complete and cocomplete, which means that all small limits and colimits exist in Top. In fact, the forgetful functor U : TopSet uniquely lifts both limits and colimits and preserves them as well. Therefore, (co)limits in Top are given by placing topologies on the corresponding (co)limits in Set.

Specifically, if F is a diagram in Top and (L, φ) is a limit of UF in Set, the corresponding limit of F in Top is obtained by placing the initial topology on (L, φ). Dually, colimits in Top are obtained by placing the final topology on the corresponding colimits in Set.

Unlike many algebraic categories, the forgetful functor U : TopSet does not create or reflect limits since there will typically be non-universal cones in Top covering universal cones in Set.

Examples of limits and colimits in Top include:

Other properties

Relationships to other categories

References

  • Herrlich, Horst: Topologische Reflexionen und Coreflexionen. Springer Lecture Notes in Mathematics 78 (1968).
  • Herrlich, Horst: Categorical topology 1971–1981. In: General Topology and its Relations to Modern Analysis and Algebra 5, Heldermann Verlag 1983, pp. 279–383.
  • Herrlich, Horst & Strecker, George E.: Categorical Topology – its origins, as exemplified by the unfolding of the theory of topological reflections and coreflections before 1971. In: Handbook of the History of General Topology (eds. C.E.Aull & R. Lowen), Kluwer Acad. Publ. vol 1 (1997) pp. 255–341.
  • Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition).
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.