Relationships To Other Categories
- The category of pointed topological spaces Top• is a coslice category over Top.
- The homotopy category hTop has topological spaces for objects and homotopy equivalence classes of continuous maps for morphisms. This is a quotient category of Top. One can likewise form the pointed homotopy category hTop•.
- Top contains the important category Haus of topological spaces with the Hausdorff property as a full subcategory. The added structure of this subcategory allows for more epimorphisms: in fact, the epimorphisms in this subcategory are precisely those morphisms with dense images in their codomains, so that epimorphisms need not be surjective.
Read more about this topic: Category Of Topological Spaces
Famous quotes containing the words relationships to and/or categories:
“With only one life to live we can’t afford to live it only for itself. Somehow we must each for himself, find the way in which we can make our individual lives fit into the pattern of all the lives which surround it. We must establish our own relationships to the whole. And each must do it in his own way, using his own talents, relying on his own integrity and strength, climbing his own road to his own summit.”
—Hortense Odlum (1892–?)
“The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)