After a discussion at Sage Days 64, we decided to implement a variety of categories pertaining to geometry and topology to lend assistance to 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 Morphisms and Objects of Categories #10667, morphisms of simplicial complexes and the associated chain complex morphisms #6099)
• Lie groups

and axioms:

• complete
• compact
• analytic
• differentiable
• smooth
• almost complex

Depends on #18174
Depends on #17160

CC: @nthiery @egourgoulhon

Component: categories

Keywords: topology, sd67

Author: Travis Scrimshaw

Branch/Commit: f6fdd7d

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/18175