Talk:PlanetPhysics/Yoneda Lemma