Quelle est la différence entre un foncteur covariant et un foncteur contravariant

Un foncteur covariant, ou tout simplement un foncteur, est aux catégories ce qu'une application est aux ensembles. On appelle foncteur contravariant g de A vers B, un facteur covariant de A* (catégorie duale de A) vers B [ou de A vers B*].

• Envoyer votre réponse.