双線形写像 加群 、 に対し となる写像。 定理 以下の性質を満たす が一意的に存在する。 すなわち、任意の に対し下図が可換になる が唯一つある。 コメント 圏論っぽく書くと次のようになる。 双線形の射の集合を と書くと、 これは関手 であり、 は普遍要…