20190708163049
#今日の圏論
行列式にせよ多項式にせよ、これが自然変換であることを理解しやすいのは、プログラミングではしばしばこれと似たことがよく起きるから。型の引数をとる関数とかテンプレートとかね。式の形はそのままに型だけ置き換えちゃうのは、R→R’の環準同型を考えるのにそっくり。
#20190708
#20190708163049
ツイート