2-Category Analysis Execution Protocol | 2-Category Analysis | Mathematics | NEROS