from 自然変換

行列式が自然変換になる話

ref p.34

途中でバテたのでまたやろう #WIP

可換環Rの圏\mathrm{CRing}から、モノイドの圏\mathrm{Mon}への関手のとり方に、例えば以下の2つが考えられる

Rの台集合は、乗法によってモノイド

この関手をUとする

Rの成分のn\times n行列は、乗法によってモノイド

nを固定して、この関手をM_nとする

\mathrm{det}_Rはモノイド準同型

\detは自然変換