Talk:PlanetPhysics/Axioms of Metacategories and Supercategories