As shown in manifolds of mapping spaces, the space of smooth maps from a sequentially compact Frölicher (or diffeological or Chen) space is again a smooth manifold. As such, its topology can be determined by considering how the charts are glued together.
In some cases, there is an easy method available to study the topology. If the target manifold, say , embeds as a submanifold of some convenient vector space, say , then embeds as a submanifold of . If the original embedding is as a closed submanifold, so is the embedding of mapping spaces. This means that it is possible to propagate topological results down from to . Furthermore, if is a deformation retract of a neighbourhood of its image in , then so is in .
Let be an embedding of smooth manifolds. Let be a sequentially compact Frölicher space. Then is an embedding of smooth manifolds.