Product Construction in Categories Protocol Design | Product Construction in Categories | Mathematics | NEROS