Category of Topological Spaces - Relationships To Other Categories

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 word categories:

    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)