Bonjour,
J'ai une question de base en théorie des catégories.
Un foncteur contravariant est classiquement défini comme un foncteur de A dans B^op, je m'etais dit qu'il y avait une raison bébète pour que ce soit comme ca, et pas de A^op dans B, mais je n'y avais jamais reflechi et en fait, apres y avoir enfin reflechi, je ne vois pas trop de raison (ou alors elle m'echappe). Pourquoi fait on comme ca en fait?
Merci.
-----