Timeline for Axioms for the category of groups
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2022 at 16:40 | comment | added | Simon Henry | There is actually some litterature about interpreting classical group construction in terms of the category of groups, and other interesting properties of the category of groups. Like a category theoretic account of the Automorphism group of a group, or semi-direct product. This is studied by people working with things like protomodular, semi-abelian, or Mal'cev categories. I'm not very familiar with these topic but this book link.springer.com/book/10.1007/978-1-4020-1962-3 is probably a good starting place - chapter 5 has a discussion of semi-direct product. | |
| Oct 22, 2022 at 9:33 | comment | added | Andrej Bauer | Groupoids are the types that satisfy UIP, so we know how to give a type-theoretic account of them, which however is not in the spirit of the question. | |
| Oct 22, 2022 at 6:49 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
added 513 characters in body
|
| Oct 22, 2022 at 2:09 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
added 53 characters in body
|
| Oct 22, 2022 at 1:55 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
added 24 characters in body
|
| Oct 22, 2022 at 1:50 | history | answered | Qiaochu Yuan | CC BY-SA 4.0 |