簡単な演習問題を出そう。

問題
行列式は自然変換と見なせる。
これを厳密に定義せよ。