Categorification Protocol Design | Categorification | Mathematics | NEROS