Talk:PlanetPhysics/Proper Generator in a Grothendieck Category