Timeline for Abelian category equivalent to a non-abelian category
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 6, 2021 at 14:43 | comment | added | Arrow | @DylanWilson ah, I stopped reading after "first isomorphism theorem" assuming it refers to the "usual one" in the categories of groups, rings etc. | |
| Oct 6, 2021 at 14:05 | comment | added | Dylan Wilson | @Arrow 4 is not satisfied: A/ker(f) is the image but B/A is the quotient of B by the smallest normal subgroup containing the image of f (which need not be the image of f). | |
| Oct 6, 2021 at 13:59 | comment | added | Arrow | How? What about the category of groups? | |
| Mar 27, 2020 at 9:22 | comment | added | Arnaud D. | Note that 2. and 3. are actually consequences of 1. and 4. | |
| Mar 26, 2020 at 14:48 | comment | added | Denis Nardin | Just for reference: this is the definition in Freyd's Abelian categories (so hardly an obscure one :)) | |
| Mar 26, 2020 at 14:37 | comment | added | Bugs Bunny | And this is the only meaning I can possible give to the statement in question... | |
| Mar 26, 2020 at 14:36 | comment | added | Bugs Bunny | Off course, but this is not the definition here: ncatlab.org/nlab/show/abelian+category | |
| Mar 26, 2020 at 14:33 | history | answered | Dylan Wilson | CC BY-SA 4.0 |