id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
18175 Implement categories for topological and metric spaces and related categories tscrim tscrim "After a discussion at Sage Days 64, we decided to implement a variety of categories pertaining to geometry and topology to lend assistance to [http://sagemanifolds.obspm.fr SageManifolds] (#18528) and to generalize idioms in the hyperbolic geometry (#9439). This implements the following categories:
- topological spaces
- metric spaces
- manifolds
- CW complexes
- simplicial complexes (which has been needed, see #10667, #6099)
- Lie groups
and axioms:
- complete
- compact
- analytic
- differentiable
- smooth
- almost complex
" enhancement positive_review major sage-6.10 categories geometry, topology, sd67 nthiery egourgoulhon Travis Scrimshaw Eric Gourgoulhon N/A public/categories/topological_metric_spaces-18175 f6fdd7ddad7fdbef37e7632d628f432891e76acc #18174 #17160