There should be coproducting operations that rename each of the variables in the relevant context, prefixing them with a name space. This will make it possible to refer to the variables in the case where we, for instance, coproduct a context with itself.
There should be coproducting operations that rename each of the variables in the relevant context, prefixing them with a name space. This will make it possible to refer to the variables in the case where we, for instance, coproduct a context with itself.