To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Category of topological spaces

From Wikipedia, the free encyclopedia

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is 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 categories with topological manifolds, with compactly generated spaces as objects and continuous maps as morphisms or with the category of compactly generated weak Hausdorff spaces.

YouTube Encyclopedic

  • 1/3
    19 669
    1 356
  • Emily Riehl on Topology, Categories, and the Future of Mathematics
  • Topology Lecture 13: Disjoint Union Spaces
  • Topology Lecture 17: Adjunction Spaces


As a concrete category

Like many categories, the category Top is a concrete category, meaning its objects are sets with additional structure (i.e. topologies) and its morphisms are functions preserving this structure. There is a natural 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 between indiscrete spaces is continuous, both of these functors give full embeddings of Set into Top.

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.

Top is the model of what is called a topological category. These categories are characterized by the fact that every structured source has a unique initial lift . 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, φ : LF) is a limit of UF in Set, the corresponding limit of F in Top is obtained by placing the initial topology on (L, φ : LF). 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

See also


  1. ^ Dolecki 2009, pp. 1–51


  • 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).
  • Dolecki, Szymon; Mynard, Frederic (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4. OCLC 945169917.
  • Dolecki, Szymon (2009). "An initiation into convergence theory" (PDF). In Mynard, Frédéric; Pearl, Elliott (eds.). Beyond Topology. Contemporary Mathematics. Vol. 486. pp. 115–162. doi:10.1090/conm/486/09509. ISBN 9780821842799. Retrieved 14 January 2021.
  • Dolecki, Szymon; Mynard, Frédéric (2014). "A unified theory of function spaces and hyperspaces: local properties" (PDF). Houston J. Math. 40 (1): 285–318. Retrieved 14 January 2021.
  • 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.
This page was last edited on 14 August 2023, at 17:26
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.