Timeline for How much of concrete mathematics can be expressed in the language of category theory?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2020 at 15:44 | comment | added | Oscar Cunningham | I think the construction in the accepted answer there also meets your criteria. The universal construction which maps each group to a cogroup object is a 'relatively natural construction within category theory', and two groups have the same order if and only if their corresponding cogroup objects are isomorphic. | |
| Jul 3, 2020 at 15:07 | comment | added | user160570 | I should have said 'defined by a relatively natural construction within category theory", not defined in the sense of say first order logic, which is presumably your meaning. | |
| Jul 3, 2020 at 11:32 | review | Low quality posts | |||
| Jul 3, 2020 at 12:11 | |||||
| Jul 3, 2020 at 11:08 | comment | added | Oscar Cunningham | 'Order', and everything else, can be defined within the category of groups: mathoverflow.net/questions/352298/… | |
| Jul 3, 2020 at 10:47 | review | Late answers | |||
| Jul 3, 2020 at 11:26 | |||||
| Jul 3, 2020 at 10:40 | review | First posts | |||
| Jul 3, 2020 at 11:33 | |||||
| S Jul 3, 2020 at 10:32 | history | answered | user160570 | CC BY-SA 4.0 | |
| S Jul 3, 2020 at 10:32 | history | made wiki | Post Made Community Wiki by user160570 |