Versie van 3 feb 2014 20:35 bewerken Madyno (overleg \| bijdragen) 34.753 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 3 feb 2014 20:48 bewerken ongedaan maken Madyno (overleg \| bijdragen) 34.753 bewerkingen →‎Definitie Nieuwere bewerking →
Regel 13: * de identieke morfismen behouden: <math>F(\operatorname{id}_X) = \operatorname{id}_{F(X)}</math>. En ''contravariante functor'' (of ''cofunctor'') van <math>\mathcal C</math> naar <math>\mathcal D</math> is een functor van de [[tegenovergestelde categorie]] <math>\mathcal{C}^{\operatorname{op}} ~~\to~~</math> naar <math>\mathcal{D}</math>. Equivalent kan een cofunctor beschreven worden als een functor, met dit verschil: * de afbeeldingen tussen de morfismen gaan van <math>\operatorname{Mor}_\mathcal{C}(X, Y)</math> naar <math>\operatorname{Mor}_\mathcal{D}(F(Y), F(X))</math>. * de compatibiliteitt met de samenstelling luidt <math>F(f\circ g) = F(g)\circ F(f)</math>.

Functor: verschil tussen versies