# Zulip Chat Archive

## Stream: sphere eversion

### Topic: Globalisation

#### Patrick Massot (Jun 01 2022 at 09:41):

I just pushed more details in the blueprint about how to go from Chapter 2 to Chapter 3, but for some reason the GitHub pages bot didn't trigger. Anyway, it should clarify what to do once will have jet bundles. We really only need to know given a smooth $f : M \to M$ we get a smooth $j¹f : M \to J¹(M, N)$ (in particular we need that $J¹(M, N)$ is a smooth manifold) and than $J¹(M, N)$ is $M \times N \times Hom(M, N)$ when $M$ and $N$ are vector spaces.

#### Johan Commelin (Jun 01 2022 at 10:39):

Patrick Massot said:

but for some reason the GitHub pages bot didn't trigger.

Maybe related to this: https://www.githubstatus.com/incidents/8xxms3q3qzgp

#### Johan Commelin (Jun 01 2022 at 10:40):

Patrick Massot said:

but for some reason the GitHub pages bot didn't trigger.

Maybe related to this: https://www.githubstatus.com/incidents/8xxms3q3qzgp

Last updated: Dec 20 2023 at 11:08 UTC