Timeline for Group Presentation - Categorical Interpretation
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:21 | history | edited | CommunityBot | replaced http://math.stackexchange.com/ with https://math.stackexchange.com/ | |
| Apr 4, 2017 at 14:55 | history | edited | Bryan Shih | CC BY-SA 3.0 | added 1 character in body |
| Apr 4, 2017 at 10:26 | answer | added | Derek Elkins left SE | timeline score: 3 | |
| Apr 4, 2017 at 7:42 | comment | added | Ibrahim Tencer | Your note is right in the sense of defining the functor sending $G$ to the family of elements in $G$ satisfying the relations. But to show that your functor $F$ is represented by the group presentation $P$ you have to come up with a bijection between the set $Hom(P, G)$ and the set $F(G)$ that is natural in $G$. | |
| Apr 4, 2017 at 6:47 | history | edited | Bryan Shih | CC BY-SA 3.0 | edited title |
| Apr 4, 2017 at 6:27 | history | asked | Bryan Shih | CC BY-SA 3.0 |