Author: Urs Format: MarkdownItexAdded note on how to say "embedding of smooth manifolds" synthetically in terms of differential cohesion / cohesive HoTT ([here](https://ncatlab.org/nlab/show/embedding+of+differentiable+manifolds#SyntheticDefinitionInDifferentialCohesion))
<a href="https://ncatlab.org/nlab/revision/diff/embedding+of+differentiable+manifolds/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/embedding+of+differentiable+manifolds/17">v17</a>, <a href="https://ncatlab.org/nlab/show/embedding+of+differentiable+manifolds">current</a>
Added note on how to say “embedding of smooth manifolds” synthetically in terms of differential cohesion / cohesive HoTT (here)
Author: Urs Format: MarkdownItexadded pointer to
* [[André Haefliger]], _Differentiable Embeddings of $S^n$ in $S^{n+q}$ for $q \gt 2$_, Annals of Mathematics Second Series, Vol. 83, No. 3 (May, 1966), pp. 402-436 ([jstor:1970475](https://www.jstor.org/stable/1970475))
<a href="https://ncatlab.org/nlab/revision/diff/embedding+of+differentiable+manifolds/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/embedding+of+differentiable+manifolds/20">v20</a>, <a href="https://ncatlab.org/nlab/show/embedding+of+differentiable+manifolds">current</a>
added pointer to
André Haefliger, Differentiable Embeddings of $S^n$ in $S^{n+q}$ for $q \gt 2$, Annals of Mathematics Second Series, Vol. 83, No. 3 (May, 1966), pp. 402-436 (jstor:1970475)