Talk:PlanetPhysics/Functorial Algebraic Geometry