Tensor product
テンソル積として、局所化は通常の普遍性を満たす。