Motivated by boundary value problems for partial differential equations, classical trace and extension theorems characterize traces of spaces of generalized smoothness (e.g., Sobolev, Besov, etc.) to smooth submanifolds of a Euclidean space. But in many cases one needs similar results for subsets of a more complicated geometric structure (for instance, after the change of variables initial data...