Definition 7.2.1. We define a curve to be a -dimensional space endowed with
- •
an open subset containing
- •
an orientation of and
- •
a fixed-point free involution of for every
satisfying the following conditions:
- •
- •
has finitely many connected components, none of which are points
- •
given , given a small open neighbourhood of in , and given , then has an orientation extending the given orientations on and .