Categorical Description
In the language of category theory, the final topology construction can be described as follows. Let Y be a functor from a discrete category J to the category of topological spaces Top which selects the spaces Yi for i in J. Let Δ be the diagonal functor from Top to the functor category TopJ (this functor sends each space X to the constant functor to X). The comma category (Y ↓ Δ) is then the category of cones from Y, i.e. objects in (Y ↓ Δ) are pairs (X, f) where fi : Yi → X is a family of continuous maps to X. If U is the forgetful functor from Top to Set and Δ′ is the diagonal functor from Set to SetJ then the comma category (UY ↓ Δ′) is the category of all cones from UY. The final topology construction can then be described as a functor from (UY ↓ Δ′) to (Y ↓ Δ). This functor is left adjoint to the corresponding forgetful functor.
Read more about this topic: Final Topology
Famous quotes containing the words categorical and/or description:
“We do the same thing to parents that we do to children. We insist that they are some kind of categorical abstraction because they produced a child. They were people before that, and they’re still people in all other areas of their lives. But when it comes to the state of parenthood they are abruptly heir to a whole collection of virtues and feelings that are assigned to them with a fine arbitrary disregard for individuality.”
—Leontine Young (20th century)
“I fancy it must be the quantity of animal food eaten by the English which renders their character insusceptible of civilisation. I suspect it is in their kitchens and not in their churches that their reformation must be worked, and that Missionaries of that description from [France] would avail more than those who should endeavor to tame them by precepts of religion or philosophy.”
—Thomas Jefferson (1743–1826)