What is the name of a tensor product?
I have a tensor like
where a, b, c lie in some CombinatorialFreeModule. Where (in Sage syntax) does this tensor lie? (I need to know, because I am writing a function using module_morphism, and it requires me to explicitly specify its codomain.)
doesn't help (it just gives generic trash).