Higher Category Formulation Protocol Design | Higher Category Formulation | Mathematics | NEROS