Categorical Logic Formulation Protocol Design | Categorical Logic Formulation | Mathematics | NEROS