Morphisms of Cartan connections

Abstract

We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We prove some basic results concerning completeness of Cartan connections. We provide a new method to prove completeness of Cartan connections using families of morphisms.