行列式が自然変換であるというツイートが「わからない」から「わかる」になった話
最近圏論の基礎を読み始めたので、松森至宏さんのこのツイート、二割くらいは言葉の意味がわかるようになった!まだ主張まではわからないけど😞やっていき💪 #Φカフェ数学デー で発表!自然変換や関手圏の定義をし、自然数nを固定したとき、行列式detが、cRingからMonoidへの、n×n行列全体を対応させる関手M_nから、足し算を忘れる関手Uへの自然変換であることを確かめました。これは全ての環に対し行列式が「一様に」定義されていることに対応するそうです◎ 松森至宏さんは数学のツイートをよくしてくださって勉強になります。 2018年8月31日の時点ではわからないだったけど、2019年12月30日の時点ではわかるようになりました。すばらしい。