Primacy of arcs/arrows over vertices/objects

Question

Freyd's Abelian Categories is the only textbook I know where the primacy of arrows over objects is taken seriously already in the axioms: there is no talk of objects at all. Only later one sees, that an object is what arrows with the same domain (another derived-only concept) have in common. This helps thinking abstractly from the very beginning.

Question #1: Why isn't Freyd's axiomatization standard?

I guess it's mainly a matter of convenience, but this seems to be rarely mentioned explicitly.

---

The same goes for graph theory: the usual and beginner's way of thinking is that arcs (seen as pairs of vertices) are 'ontologically' secondary to vertices, just as arrows (seen as functions between sets) would be secondary to objects (seen as sets). But in the most general setting for graph theory - multidigraphs or quivers - it becomes obvious that it is the other way around: arcs can be the only primary objects and vertices can be thought of equivalence classes of arcs according to the two equivalence relations "has the same source (resp. target) as".

Question #2: Is there an introductory textbook to graph theory that emphasizes that general graph theory is "nothing but a theory of two arbitrary equivalence relations".

[Addendum:] The structure of a graph comes in by identifying some equivalence classes of the first equivalence relation with some of the second.

Answer 1

Qu 1: At about the time of Freyd's book there were two approaches to defining categories. One came from algebraic topology and homological algebra, thus from Eilenberg and MacLane and used the objects and arrows definition, the other was motivated by differential geometry and used the arrows only formalism. This second one is perhaps better suited to those areas where the arrows are what is seen first. For instance, when introducing the concept of the fundamental groupoid of a space then you can think of the idea as a set with a partially defined composition satisfying certain rules and that has distinct advantages for that setting. Ehresmann wrote his book on categories from this viewpoint, but some of the basic ideas do end up being less clear from that viewpoint, others are perhaps clearer. That approach is also linked to more algebraic ideas such as inverse semigroups.

The first 'objects plus arrows' approach is thought to be more accessible to researchers with a `standard' mathematical background e.g. from algebra or algebraic topology. There the objects are usually thought of as being what is being studied and the morphisms are a tool for that study.

The recent use of categorification, quasicategories, internal categories, enriched categories and other similar ideas, tends to show that both viewpoints are best kept in balance, meeting in that higher categorical area.

Put simply I thing the answer to your question is: historically the comparison of objects using arrows was the more pressing application to start with. It came to dominate. More researchers came to use it.

Now the question arises `which to use with a given audience? and that is a hard one to answer.

Answer 2

The first obvious answer is that the intuition behind categories involves objects, so there is no need to remove them from the definition, even if the resulting formulation turns out to be more economic. Try teaching a second or third-year student categories without mentioning objects...

A second possible reason is that it may be involved to ask that morphism between two objects form a set, but objects are allowed to be a proper class. Without mentioning objects, one should say that arrows can form a proper class, but every way I can think of to ask for Hom(A, B) to be a set really boils down to putting objects back in the picture.

Answer 3

Notice that graphs model relations, and that many courses (at least mine!) emphasize the fact that, by studying graphs, one focuses on relations between objects, instead of objects themselves.

For instance, whereas one would usually describe a population (say, of individuals) in terms of its member's properties (say, individual's age, wealth, or location), a network scientist will model it as a graph in order to study the relations (say, friendship or collaboration) between its members.

Hope this is not too off-topic.