Consider a Cartan geometry $\pi: \mathcal{G} \to M$ with Cartan connection $\omega$ modelled on the Klein geometry $(G, H)$. 


The Cartan connection is supposed to formalize what it means to "roll without slipping" the homogeneous space $G/H$ on the manifold $M$. I am wondering if the following is one correct way to intuitively think about this.


Let $U \subseteq M$ be an open set such that we have a local section $\sigma: U \to \mathcal{G}$ of the Cartan bundle. Then we can pull down the Cartan connection to get a $\frak{g}$-valued 1-form $\sigma^\* \omega$ on $U$. 


Suppose we pick a point of contact $o \in G/H$ with a point $x \in M$. Then if we pick a tangent direction $v \in T\_x M$ we can imagine rolling the homogeneous space without slipping along the infinitesimal curve corresponding to the tangent vector. The Cartan form $\sigma^\* \omega$ assigns to this infinitesimal curve $v$ an infinitesimal transformation $X:= (\sigma^\* \omega)(v) \in \frak{g}$. Since $G$ acts on $G/H$, Then I would assume that the infinitesimal transformation $X$ tells us how the point of contact $o \in G/H$ changes as we roll along the infinitesimal curve $v$. 


Thus, if the point of contact is initially $o \in G/H$, then our new point of contact with $v(d) \in M$ after rolling for infinitesimal time $d$ along the infinitesimal curve $v$ will be $X(d).o \in G/H$, where the infinitesimal action of $\frak{g}$ on $G/H$ here is induced by the standard left action of $G$ on $G/H$. 


I am wondering whether this reasoning is a correct way to think about rolling without slipping the homogeneous space along $M$. If not, is there some other way I can think about it geometrically?


Note that while this statement in terms of infinitesimal transformations is a bit fuzzy and "handwavy" in classical differential geometry where we do not have infinitesimal objects, it is entirely rigorous in synthetic differential geometry, and we can embed the category of smooth manifolds fully and faithfully into whatever smooth topos we use to model SDG. 



Intuition for the Cartan connection and "rolling without slipping" in Cartan geometry
You don't need to be 'handwavy' at all, and, in the standard modern way to understand this, one does not need one to choose local sections and talk about infinitesimal motions. Here's the standard approach:


First, a Cartan connection of type $(G,H)$ on an $n$-manifold $M$ is, as you know, a principal right $H$- bundle $\pi:B\to M$ endowed with a $\frak{g}$-valued $1$-form $\omega:TB\to\frak{g}$ that gives a parallelism of $B$ (i.e., $\omega\_b:T\_bB\to\frak{g}$ is an isomorphism for each $b\in B$) subject to the following two conditions: (1) $\omega(Y\_v) = v$ for all $v\in\frak{h}$, where $Y\_v$ is the vector field on $B$ induced by the flow of right action by the $1$-parameter subgroup $\exp(tv)$ in $H$, and (2) $R\_h^\*(\omega) = \mathrm{Ad}(h^{-1})(\omega)$ for all $h\in H$. The *curvature* of $\omega$ is $\Omega = \mathrm{d}\omega + \tfrac12[\omega,\omega]$, and it is $\pi$-semibasic. The *torsion* of $\omega$ is the $\frak{g}/\frak{h}$-valued $2$-form $\Omega\,\text{mod}\,\frak{h}$.


As an example, $\gamma:TG\to\frak{g}$, the canonical left-invariant $1$-form on $G$, is a Cartan connection for the natural coset quotient $q:G\to G/H$. Of course, the curvature of $\gamma$ vanishes identically.


Now, about the rolling interpretation: Given a Cartan connection $(B,\pi,\omega)$ over $M^n$, consider the product $B\times G$ and the modified 'difference' $1$-form
$$
\theta =\mathrm{Ad}(g)\bigl(\omega-\gamma\bigr).
$$  

This $1$-form is invariant under the diagonal right $H$-action on $B\times G$
defined by $(b,g){\cdot}h = (b{\cdot}h,gh)$, and it satisfies $R^\*\_{a}(\theta) = \mathrm{Ad}(a^{-1})(\theta)$ where $R\_a:B\times G\to B\times G$ is the *right* $G$-action defined by $(b,g)\cdot a = (b,a^{-1}g)$ for $a\in G$. It also satisfies $\iota\_{b,g}^\*(\theta) = 0$, where $\iota\_{b,g}:H\to B\times G$ is the mapping $\iota\_{b,g}(h) = (b{\cdot}h, gh)$. 


It follows that $\theta$ is the pullback of a well-defined $\frak{g}$-valued $1$-form $\bar\theta$ on the quotient $B\times\_HG$ of $B\times G$ by the diagonal right $H$-action. In fact, $\bar\theta$ defines a connection in the usual sense on $B\times\_H G$ when this quotient is regarded as a principal right $G$-bundle over $M$, and one has the curvature identity $\bar\Theta = \mathrm{Ad}(g)(\Omega)$. (Hence, even when the torsion of $\omega$ vanishes, the curvature of $\bar\theta$ will not, generally, take values in $\frak{h}$.)


Denote by $\pi:B\times\_H G\to M$ the projection to $M$, and denote by $q: B\times\_H G\to G/H$ the map defined by $q\bigl([b,g]\bigr) = gH\in G/H$. The pair $(\pi,q)$ defines a double fibration of $B\times\_HG$ over the pair of bases $M$ and $G/H$.
Any element $[b,g]\in B\times\_HG$ defines a pair of points $(\pi(b),gH)$, but, more than this, the horizontal space $\ker(\bar\theta\_{[b,g]})\subset T\_{[b,g]}B\times\_H G$ maps isomorphically onto $T\_{\pi(b)}M$ and onto $T\_{gH}G/H$,
so it defines an isomorphism $\tau\_{[b,g]}:T\_{\pi(b)}M\to T\_{gH}G/H$ that can be regarded as a $1$-jet of a pointed diffeomorphism between $(M,\pi(b))$ and $(G/H, gH)$, i.e., an 'infinitesimal identification' of the two spaces. Thus, $B\times\_H G$ can be regarded as providing a family of $1$-jets of identifications of $M$ with the 'model space' $G/H$. (There can be, and, often, there is, more information in $(B\times\_HG,\pi,q,\bar\theta)$ than this, but that's enough for the present purposes.)


Finally, the connection $\bar\theta$ on $B\times\_H G$ defines a way uniquely to lift any differentiable curve $\alpha:[0,1]\to M$ to a $\bar\theta$-horizontal curve $\hat\alpha:[0,1]\to B\times\_HG$ once one specifies $\hat\alpha(0)\in\pi^{-1}\bigl(\alpha(0)\bigr)$. In other words, $\hat\alpha$ provides a 'rolling without slipping' interpretation of the Cartan connection $\omega$. Note that if $\omega$ is flat, then this actually defines the developing map of the simply connected cover of $M$ to $G/H$, as you would expect.


Probably, I should also mention that the (ordinary) holonomy of the connection $\bar\theta$ is what Cartan called the holonomy of (what we now call) a Cartan connection. 


