Higher Category Formulation Review and Validation Protocol | Higher Category Formulation | Mathematics | NEROS