Topological Spaces

sage.categories.topological_spaces.TopologicalSpaces

The category of topological spaces.

EXAMPLES:

sage: Sets().Topological()
Category of topological spaces
sage: Sets().Topological().super_categories()
[Category of sets]

The category of topological spaces defines the topological structure, which shall be preserved by morphisms:

sage: Sets().Topological().additional_structure()
Category of topological spaces
class sage.categories.topological_spaces.TopologicalSpacesCategory(category, *args)

Bases: sage.categories.covariant_functorial_construction.RegressiveCovariantConstructionCategory