MultiSemilinearMap

Stream: Is there code for X?

[Paradoxy]

MultilinearMap are maps from ∀ (i : ι), M₁ i to M₂ which are linear in each coordinate. Has there been any attempt at generalizing this notion to be Semilinear in each coordinate? Sorry if this is asked before.

[Oliver Nash]

I don't think there has.

[Eric Wieser]

This sounds like it will be rather painful, but that's not to say it is necessarily a bad idea

[Kevin Buzzard]

Why would you want this, out of interest?

[Paradoxy]

Kevin Buzzard said:

Why would you want this, out of interest?

This may, or may not, facilitates constructing a Hilbert space from tensor product of a family of Hilbert spaces, as inner product is anti-linear in its first argument. But I have to think more.