- 134 名前:132人目の素数さん mailto:sage [2022/08/15(月) 02:36:26.12 ID:pfZerAHe.net]
- すみません、
> V→V*, f→f ∗はcontravariant だから何なのか分かりません V→V*, f→f ∗はcontravariant だから、二重双対の場合の恒等関手に対応する関手が取れない?ということなのかなとも考えましたが、 それはそれで >反対にVとその一重双対V^*の間の同型を指定するには恣意的な基底の変換が選択で、同型は本当に基底の選択に依存する。 とはまた別の話なのかなという気がします
|

|