Axiomatization of plurimorphism valued minions

Characterize the valued minion Plu(A,B) associated with a valued promise template (A,B), giving an explicit axiomatization (closure rules and structural properties) that uniquely determine the class of plurimorphisms.

Background

While plurimorphisms play a central role in the reduction theorem, their global structure as a valued minion is not yet axiomatized. An axiomatization would clarify which operations and combinations must be included and how minors and convexity interact.

This would parallel the crisp setting’s minion theory and enable sharper homomorphism and nonexistence arguments.