きょうへん
covariance; covariant
Noun, Suru verb
体からだｋ上うえのアフィン代数だいすう群ぐんとは、ｋ上うえの可換かかん多元たげん環たまきの圏けんから群ぐんの圏けんへの表現ひょうげん可能かのうな共変きょうへん関手かんしゅで、有限生成ゆうげんせいせいな多元たげん環たまきによって表現ひょうげんされる。
An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated.