Spider Lemma

In order to construct the geodesic manifold of dimension k in a q-dimensional manifold, we build up the manifold in the discrete Grassmannian bundle Gr(q,k). We now do this all using the geodesic flow, which is much closer to the continuum. The simplex y in x defines (k+1)! geodesics or …