テンソル積
ベクトル空間 U, V, W に対して、テンソル積と全線型変換の空間とは
Hom  ( U ⊗ V , W ) ≅ Hom  ( U , Hom  ( V , W ) ) {\displaystyle \operatorname {Hom} (U\otimes V,W)\cong \operatorname {Hom} (U,\operatorname {Hom} (V,W))}
で表される関係を持つ。ここに Hom(-, -) は線型変換全体の成す空間である。これは随伴対の例であり、テンソル積函手 ⊗ はHom-函手の「左随伴」であると言い表すことができる。