פונקטור – הבדלי גרסאות

* דוגמאדוגמה מ[[גאומטריה אלגברית]]: ההעתקה מקטגוריית ה[[יריעה אלגברית|יריעה אלגבריות אפיניות]] מעל [[שדה (מתמטיקה)|שדה]] k לקטגוריית ל[[פולינום|אלגברות הפולינומים]] מעל k היא פונקטור קונטרה-וריאנטי. לכל יריעה אלגברית אפינית ''V'' הפונקטור מתאים את חוג הקואורדינטות <math>k[V]</math> ולכל מורפיזם של יריעות אפיניות <math>f: V \to W</math> שהוא העתקה פולינומיאליתפולינומית הפונקטור מתאים [[הומומורפיזם]] <math>f^* : k[W] \to k[V]</math> המוגדר כך: לכל <math>g : W \to k</math> שהיא [[פולינום|העתקה פולינומיאליתפולינומית]] <math>f^*(g) = g \circ f</math>, וזו העתקה פולינומיאליתפולינומית מ-V ל-k (כהרכבה של שני [[פולינום|פולינומים]]).