Jump to content

Talk:Category of elements

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]