Talk:Category of elements

Latest comment: 9 years ago by Noix07 in topic Confusing

Confusing

edit

- First point: this notion seems to be unrelated (or not naively related) to that of Element (category theory)

- Second: I don't agree with the reformulation with the comma category which for me means a category of "arrows with a common domain/source". Not only the source can be different but on has to pick an element  . Noix07 (talk) 10:28, 1 July 2015 (UTC)Reply

Finally: 1)   is indeed an "element" of F(A)
2) the source is always   indeed, but in the coslice category (arrows with common source) the object are pairs (A,a) where F(A) is the target and a is actually an arrow   because in that specific category Set, a map from   to F(A) just picks an element.

Noix07 (talk) 12:59, 1 July 2015 (UTC)Reply