共変性と反変性

ウィキメディアの曖昧さ回避ページ
反変から転送)

共変性(きょうへんせい、英語: covariance)と反変性(はんぺんせい、英語: contravariance)とは、ある変換に対して変換の対象が示す性質のこと。圏論における一般化として共変関手および反変関手がある。