Isomorphism in a Category Protocol Design | Isomorphism in a Category | Mathematics | NEROS