Homotopical Categorical Analysis Protocol Design | Homotopical Categorical Analysis | Mathematics | NEROS