Let M be a compact smooth manifold with corners and N be a finite dimensional smooth manifold without boundary which admits local addition. We define a smooth manifold structure to general sets of continuous mapings F (M, N) whenever functions spaces F (U, R) on open subsets U [0, ) ⁿ are given, subject to simple axioms. Construction and properties of spaces of sections and smoothness of natural mappings between spaces F (M, N) are discussed, like superposition operators F (M, f): F (M, N₁) F (M, N₂), η f η for smooth maps f: N₁ N₂.
Matthieu F. Pinaud (Tue,) studied this question.