Category of Pointed Spaces
The class of all pointed spaces forms a category Top• with basepoint preserving continuous maps as morphisms. Another way to think about this category is as the comma category, ({•} ↓ Top) where {•} is any one point space and Top is the category of topological spaces. (This is also called a coslice category denoted {•}/Top.) Objects in this category are continuous maps {•} → X. Such morphisms can be thought of as picking out a basepoint in X. Morphisms in ({•} ↓ Top) are morphisms in Top for which the following diagram commutes:
It is easy to see that commutativity of the diagram is equivalent to the condition that f preserves basepoints.
As a pointed space {•} is a zero object in Top• while it is only a terminal object in Top.
There is a forgetful functor Top• → Top which "forgets" which point is the basepoint. This functor has a left adjoint which assigns to each topological space X the disjoint union of X and a one point space {•} whose single element is taken to be the basepoint.
Read more about this topic: Pointed Space
Famous quotes containing the words category of, category, pointed and/or spaces:
“Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.”
—Vladimir Ilyich Lenin (1870–1924)
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)
““Courage!” he said, and pointed toward the land,
“This mounting wave will roll us shoreward soon.”
In the afternoon they came unto a land
In which it seemed always afternoon.”
—Alfred Tennyson (1809–1892)
“When I consider the short duration of my life, swallowed up in the eternity before and after, the little space which I fill and even can see, engulfed in the infinite immensity of spaces of which I am ignorant and which know me not, I am frightened and am astonished at being here rather than there. For there is no reason why here rather than there, why now rather than then.”
—Blaise Pascal (1623–1662)