Abelian Category Analysis Protocol Design | Abelian Category Analysis | Mathematics | NEROS