Definiton of a category question

  • #1
MathematicalPhysicist
Gold Member
4,285
201

Main Question or Discussion Point

"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
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,833
955
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.
 
  • #3
1,569
2
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.
 
  • #4
selfAdjoint
Staff Emeritus
Gold Member
Dearly Missed
6,786
7
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.
 

Related Threads on Definiton of a category question

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
14
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
9
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
1
Views
2K
Top