Skip to main content
12 events
when toggle format what by license comment
May 16, 2020 at 13:17 history closed YCor
Jeremy Rickard
user44191
ARG
David Handelman
Needs details or clarity
May 15, 2020 at 15:09 comment added YCor @LSpice yes, but in this precise case it doesn't apply, as the question makes sense only for maps in the sense "functions between sets" and hasn't seriously thought about what the right setting for the question is. (I should add that the fact that people use "map" for arrows in arbitrary categories might be misleading to students/beginners, as reflected by this very question.)
May 15, 2020 at 14:46 comment added LSpice @YCor, I understand the question about 'injective', but surely it is just a matter of taste whether to refer to arrows, maps, or morphisms in a category. (After all, I've only ever seen $\operatorname{Mor}(C, C')$, never $\operatorname{Arr}(C, C')$.)
May 15, 2020 at 13:28 answer added Andrea Ferretti timeline score: 2
May 15, 2020 at 13:27 answer added Maxime Ramzi timeline score: 2
May 15, 2020 at 12:40 history edited David White CC BY-SA 4.0
Fixed typo to this new question
May 15, 2020 at 12:40 answer added David White timeline score: 1
May 15, 2020 at 8:32 review Close votes
May 16, 2020 at 13:17
May 15, 2020 at 8:11 comment added Jokubas Rahman Okay let me be more specific. I am actually considering categories like Sets, Semigroups, etc. where injective makes sense.
May 15, 2020 at 8:03 review First posts
May 15, 2020 at 9:46
May 15, 2020 at 8:03 comment added YCor What does it mean that an arrow is "injective"? why do you call arrow "maps"?
May 15, 2020 at 7:57 history asked Jokubas Rahman CC BY-SA 4.0