Topos-Theoretic Analysis Protocol Design | Topos-Theoretic Analysis | Mathematics | NEROS