Freyd del Abelian Categorías es el único libro de texto sé donde la primacía de flechas sobre los objetos es tomado en serio ya en los axiomas: no se habla de todos los objetos. Sólo más tarde que uno ve, que un objeto es lo flechas con el mismo dominio (otro de los derivados solo concepto) tienen en común. Esto ayuda a pensar de manera abstracta desde el principio.
Pregunta #1: ¿por Qué no Freyd del axiomatization estándar?
Supongo que es principalmente una cuestión de comodidad, pero esto parece ser rara vez se menciona explícitamente.
Lo mismo vale para la teoría de grafos: el habitual y el principiante de la forma de pensar es que los arcos (visto como pares de vértices) son "ontológicamente" secundaria a los vértices, así como flechas (visto como funciones entre conjuntos) sería secundaria a objetos (visto como conjuntos). Pero en la mayoría de los generales de configuración de la teoría de grafos - multidigraphs o vacilante -, es obvio que es al revés: los arcos pueden ser sólo de los objetos primarios y los vértices pueden ser pensado de clases de equivalencia de arcos de acuerdo a las dos las relaciones de equivalencia "tiene el mismo origen (resp. de destino)".
Pregunta #2: ¿existe una introducción el libro de texto para la teoría de grafos que hace hincapié en que, en general, la teoría de grafos es "nada, sino una teoría de dos arbitraria las relaciones de equivalencia".
[Adición:] La estructura de un gráfico que entra por la identificación de algunos de clases de equivalencia de la primera equivalencia en relación con algunos de la segunda.
