nLab simple foliation

Redirected from "Hoare calculus".

A regular foliation 𝒫TX\mathcal{P} \hookrightarrow T X is called simple if the leaf space X/𝒫X/\mathcal{P} is a smooth manifold and the quotient projection XX/𝒫X \to X/\mathcal{P} is a surjective submersion.

Conversely, a simple foliation is a foliation by leaves of a surjective submersion.

Created on March 25, 2013 at 21:36:18. See the history of this page for a list of all contributions to it.