Definiton of a category question (1 Viewer)

Users Who Are Viewing This Thread (Users: 0, Guests: 1)


Gold Member
"for each object A there is an arrow id_A called the identity of A whose source and target are both A."

wouldnt this definition imply that id_A is a point instead of an arrow?
if not help me visualise this.

btw this should be the notation id_A:A->A


Science Advisor
Categories contain objects and "arrows" (I would call them "relations") but I've never heard of a "point" being defined for a general category.

You may be thinking of the object as a single "point" and then identifying the arrow (from the object to itself) with that "point".

Remember that in general, given two objects in a category, there may be many arrows from one to another so you cannot identify arrows with objects. In particular, there may be many arrows from a given category to itself. The arrow "id_A" is a specific one of those so you certainly cannot identify "id_A" with the object.
i wouldn't call them relations because a relation is generally used in reference to being some subset of the cartesian product of sets. arrows are not sets in general.


Staff Emeritus
Gold Member
Dearly Missed
Objects and morphism is the usual terminology. If it helps, you can think of morphisms as arrows and objects as boxes, as in a flow chart.

The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving