A convex Darboux theorem
This article deals with vector valued differential forms on -manifolds. As a generalization of the exterior product, we introduce an operator that combines -valued forms with -valued forms. We discuss the main properties of this operator such as (multi)linearity, associativity and its behavior under pullbacks, push-outs, exterior differentiation of forms, etc. Finally we present applications for Lie groups and fiber bundles.