Nevim, jestli to sem patri - neni to vtip, jen vtipna terminologie. (Citace z knihy Lang, Serge (2002). Algebra, zvyrazneno mnou). Nevim, jestli prijde vtipne matematikovi, nebo spis nematematikovi, nebo jenom mne :)
A universal object in this category is called a tensor product of E1,..., En (over R). We shall now prove that a tensor product exists, and in fact construct one in a natural way. By abstract nonsense, we know of course that a tensor product is uniquely determined, up to a unique isomorphism.