共変、反変
共変(きょうへん、covariant)
反変(はんぺん、contravariant)
プログラミングの文脈でも共変、反変がある
関連:
リスコフの置換原則
関連
双対
共変性、反変性
共変関手、反変関手
参考
共変ベクトルと反変ベクトル 【物理のかぎしっぽ】
ベクトルの共変性と反変性 - Wikipedia
メモ
そういうことか！ どこで何を読んでも「はあ？」だった人が最後にもう一度だけ挑戦する「共変性」と「反変性」 #C# - Qiita
「共変性」「反変性」が絶望的にわかりづらいので○○○○性と命名し直してみた #ポエム - Qiita
共変性・反変性とは型構築子が部分型関係をどう保ち、どう変換するかという性質のことである
テンソルが意味不明な物理学習者へ: 共変ベクトルと反変ベクトルからテンソルまで｜vielb
#数学