Talk:PlanetPhysics/Alternative Definition of Small Category