ホワイトボードに書いたヤツ。早くテキスト化しないと忘れる。なるべく早くにテキスト付ける。 上段 左の上の縦列 下から上に Lin(Rn, X)→Xn→Pow(X) Lin(Rn, X)→Xn の横に書いてあるのは読めないが、標準的な同型。Xn = Map([n], R) とすれば、Xn→Lin(Rn, X)…