Skip to main content

Timeline for Axioms for the category of groups

Current License: CC BY-SA 4.0

7 events
when toggle format what by license comment
Oct 27, 2022 at 16:58 comment added Kevin Carlson @მამუკაჯიბლაძე Yes, though to be fair, characterizations of the category of sets also involve assuming the terminal object is a co-set object! Anyway I do think things like the characterization of categories of Hilbert spaces mentioned in the OP are strictly "better" than this one for that reason.
Oct 27, 2022 at 7:22 comment added მამუკა ჯიბლაძე This is a very neat answer but it somehow smuggles in groups through that $Z$...
Oct 24, 2022 at 1:17 vote accept Madeleine Birchfield
Oct 23, 2022 at 21:19 history edited Kevin Carlson CC BY-SA 4.0
deleted 112 characters in body
Oct 23, 2022 at 20:36 comment added David Roberts Thanks Kevin, this will allow the OP the chance to accept an actual answer to the question.
Oct 23, 2022 at 20:00 history edited Kevin Carlson CC BY-SA 4.0
deleted 201 characters in body
Oct 23, 2022 at 19:48 history answered Kevin Carlson CC BY-SA 4.0