Paper detail

Cartan geometries modeled on skeletons and morphisms induced by extension functors

The extension functors between categories of Cartan geometries can be used to define different categories of Cartan geometries with additional morphisms. The Cartan geometries modeled on skeletons can be used for the description of such categories of Cartan geometries and therefore we develop the theory of Cartan geometries modeled on skeletons, in detail. In particular, we show that there are functors from the categories of Cartan geometries with morphisms induced by extension functors to certain categories of Cartan geometries modeled on skeletons with the usual morphisms. We study how to compute (infinitesimal) automorphisms of Cartan geometries modeled on skeletons and how to compute the morphisms induced by the extension functors for particular Cartan geometries. Some examples and applications of the morphisms induced by extension functors are presented in the setting of the Riemannian geometries.