... sequence of projections νk,k−1 ν1,0 −→ → → · · · − J k (P ) − − J k−1 (P ) − · · · − J (P ) −→ J (P ) = P → − and set J ∞ (P ) = proj lim J k (P ) Since νl,k ◦ jl = jk , we can also set j = proj lim ... transformation ck,l of the functors J k+l (·) and J k (J l (·)) defined by the commutative diagram j −− − l→ P jk+l J l (P ) j k ck,l −→ J k+l (P ) − − J k (J l (P )) It is called the co-gluing homomorphism ... coefficients in J ∞ (P ): j − P − J ∞ (P ) − Λ1 ⊗A J ∞ (P ) − · · · → → → → · · · − Λi ⊗A J ∞ (P ) − Λi+1 ⊗A J ∞ (P ) − · · · → → → which is the inverse limit for the Jet-Spencer complexes of P j S S...