Categorical Semantics Construction Protocol Design | Categorical Semantics Construction | Mathematics | NEROS