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,