All Questions

Anders Kock's two texts on synthetic differential geometry (SDG) are a great place to get geometric intuition, especially when it comes to jets. Unfortunately, he doesn't seem to cover semi-holonomic ...

As I understand it from Kostecki's notes, the $k$-jet $j^k f$ of a function $f: R^n \to R^m$ should be the map $$f^{D_k(n)} : {(R^n)}^{D_k(n)} \to (R^m)^{D_k(n)},$$ where $$D_k(n) = \{(x_1, \ldots, ...