Talk:PlanetPhysics/Grothendieck Category