effect algebra graded monoidal category

Tags: effect algebra, duoid graded monoidal category.