Es "cofunctor" un término aceptado por contravariante functors?

Question

La gente se utilizan para el prefijo co- flipping flechas en un concepto¹, y he visto a gente usar cofunctor a significar un functor que voltea las flechas, es decir, que tarda $A \to B$$FB \to FA$. Sé que este concepto con el nombre functor contravariante, que creo que es estándar, y en contraste con un functor covariante que no se invierte flechas – el último, haciendo que el nombre cofunctor particularmente ineficiente.

Sin embargo, Wiktionary y Wikipedia (la última frase en la contravarianza párrafo) realizar una copia de seguridad de este uso, aunque uncitedly, por lo que parece tener algo de tracción. ¿Hay alguna sustancia para este uso? Hay autores que admiten o mencionarlo?

Si solo es incorrecto, alguien ha autorizado despedido en una forma en que pueden ser citados, de tal manera que podía ser expulsado de Wikipedia en el futuro?

Edit: también he oído contrafunctor usada para significar que un functor contravariante. ¿Significa esto que hay personas que usan cofunctor a decir functor covariante?

¹ ¿Qué quiero decir por "concepto" de aquí? Así, un ncept con las flechas volteado, por supuesto.

Answer 1

Yo podría estar equivocado, pero creo que no es totalmente correcta para llamar a un controvariant functor "cofunctor" (al menos si se quiere meter a la convención de la utilización de la partícula co - significar y evocar la dualidad), porque la frase "$T$ es un functor" es claramente auto-dual, como Mac-Lane explícitamente señalado en sus Categorías para el Trabajo Matemático. Así, dado un functor $T$ "cofunctor", interpretado como el doble concepto, sería igual a $T$ sí.