Is there a connection between the Whitney embedding theorem and Cayley's theorem?

Question

Background: I've been working through Guillemin and Pollack's "Differential Topology." They take the approach of defining smooth manifolds as "concrete" submanifolds of some ambient $\mathbb R^N$, as opposed to "abstract" topological spaces with charts and atlases. In my opinion, this approach leads to better intuition about the subject. Moreover, even in the standard "abstract" approach we can establish the Whitney embedding theorem, meaning that we aren't losing generality by working "concretely."

With this viewpoint of "abstract" vs "concrete" definitions, I realized that the Whitney embedding theorem with its ambient $\mathbb R^N$, and Cayley's theorem with its ambient symmetric group $S_N$, are of the same flavor. I know that there are many other representation theorems in math like these two, and that many can be viewed as generalization of the Yoneda embedding.

However, I can't find any sources that include the geometric representation theorems like Whitney and Nash in this Yoneda or categorical framework. So, I'm asking:

Question: Can the Yoneda lemma or other category theory be used to unify the Whitney embedding theorem with Cayley's theorem and/or other representation theorems in math?

My background consists of the category theory that showed up in the first year grad school, e.g. in an algebraic topology sequence and commutative algebra. However, any comments on this circle of ideas is greatly appreciated. Thank you in advance!

Answer 1

It's really a different kind of embedding. The Whitney embedding theorem embeds the manifold within $\mathbb{R}^N$, whereas the Yoneda lemma 'embeds' the functor of points into the functor category. The reason why Cayley's lemma fits within the Yoneda lemma is because groups happen to be reinterpretable as one-object categories, and there's no such thing for smooth manifolds (well, as far as I know).

That is not to say that you can't apply the Yoneda lemma to the category of (smooth) manifolds. You certainly can, and in this way a smooth manifold $M$ can be captured completely by the functor $h_M \colon \operatorname{Man}^{\mathrm{op}} \to \operatorname{Set}$ sending a manifold $N$ to $\operatorname{Hom}(N,M)$. I'm sure people have tried to consider manifolds from this functorial point of view ('diffeological spaces', 'smooth sets', are some buzzwords that come up for me). But it's a different thing.

Side remark: A vaguely related question, to which I don't know the answer, is whether you can detect smooth embeddings in the category of smooth manifolds entirely in categorical terms.

Answer 2

I do not see any relationship between these ideas at all.

Cayley's theorem exploits a structural idea about groups. Groups acting on sets give homomorphisms to the symmetric group. And a group's action on itself is a particularly natural choice of action. $S_n$ is the correct place to think about group actions.

Whitney's theorem is proved by hacking together a map based on charts and partitions of unity. It does not exploit any clever structural ideas about manifolds, nor teach you new ways of thinking about them. There is nothing special about $\Bbb R^N$ except that it is the domain of a chart and it is a vector space.

so... the proofs are different. The reason these objects are special are different. the way these teach you to think about the objects are different. The only relationship seems to be the word "embedding". What could possibly be the relationship? (Of course, "is there a connection" is not something that can be answered negatively because it is not a precise mathematical question which I can disprove.)