The Shape of Differential Geometry in Geometric Calculus

We review the foundations for coordinate-free differential geometry in Geometric Calculus. In particular, we see how both extrinsic and intrinsic geometry of a manifold can be characterized by a single bivector-valued one-form called the Shape Operator. The challenge is to adapt this formalism to Conformal Geometric Algebra for wide application in computer science and engineering.