Timeline for Different definitions of category
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14, 2018 at 8:37 | comment | added | Philippe Gaucher | @MahdiMajidi-Zolbanin I wrote my comment before reading the answer. It is the paragraph "Why might you want the disjointness condition?" about well-defined domain and codomain functions. | |
| Apr 13, 2018 at 20:49 | comment | added | Mahdi Majidi-Zolbanin | @PhilippeGaucher how does that work in the example in my question? | |
| Apr 13, 2018 at 8:35 | comment | added | Philippe Gaucher | At least for small categories (I don't want to run into size issues), there is a well-defined set map called "source of a morphism". So $\mathrm{Id}_X=\mathrm{Id}_Y$ implies $X=Y$ and of course $X=Y$ implies $\mathrm{Id}_X=\mathrm{Id}_Y$... | |
| Apr 12, 2018 at 20:15 | comment | added | Mahdi Majidi-Zolbanin | @Qfwfq Yes, $G$ instead of $\operatorname{End}(G)$ would work, too. | |
| Apr 12, 2018 at 20:09 | vote | accept | Mahdi Majidi-Zolbanin | ||
| Apr 12, 2018 at 20:09 | comment | added | Mahdi Majidi-Zolbanin | @CarloBeenakker I was not aware of that post. Thanks for the link. | |
| Apr 12, 2018 at 20:04 | answer | added | Peter LeFanu Lumsdaine | timeline score: 14 | |
| Apr 12, 2018 at 19:53 | comment | added | Carlo Beenakker | isn't this answered here? math.stackexchange.com/questions/1848926/… | |
| Apr 12, 2018 at 19:52 | comment | added | Qfwfq | Why $\mathrm{End}(G)$ and not just $G$? | |
| Apr 12, 2018 at 19:36 | history | asked | Mahdi Majidi-Zolbanin | CC BY-SA 3.0 |