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

ref ベシ圏.icon p.34

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

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

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

この関手を$ Uとする

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

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

https://gyazo.com/8a3c946f7df63f09db5c9198d285d790

https://gyazo.com/c44c5dd12693f6aac279e94ee269d080