Talk:PlanetPhysics/Grassmann Hopf Algebroid Categories and Grassmann Categories