Talk:PlanetPhysics/B Mod Category Equivalence Theorem