Self-diffeomorphism group

Definition

The self-diffeomorphism group of a differential manifold is defined as follows:

• It is the group of all diffeomorphisms from the manifold to itself, under composition.
• It is the automorphism group of the differential manifold, viewed as an object in the category of differential manifolds with smooth maps