Skip to main content
added 577 characters in body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

As a discerning dissenting voice, let me say that it ismight be true, depending on your definitions.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is allThere are two definitions in your definition, doc!!play. The first is abelian category. The standard (ncatlab or Wikipedia) definition of abelian category asks for the category to be pre-additive, which requires enrichment in abelian groups that can be forgotten. Off courseAn alternative definition, mentioned in other answers, is from Freyd's book: there abelian is an inherent property rather than an additional structure. This definition would make the statement false.

The second definition is non-abelian category. There is no accepted definition. One possibility is to think of this as Fred and Dylan rightly point outjust a category. Together with the first definition of abelian category, this enrichmentmakes the statement true. An alternative is inherent in yourto think of a category structurethat cannot be abelian (essentially the negative of the second definition). This choice would make the statement false.

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!! The standard definition of abelian category asks for the category to be pre-additive, which requires enrichment in abelian groups that can be forgotten. Off course, as Fred and Dylan rightly point out, this enrichment is inherent in your category structure.

As a discerning dissenting voice, let me say that it might be true, depending on your definitions.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

There are two definitions in play. The first is abelian category. The standard (ncatlab or Wikipedia) definition of abelian category asks for the category to be pre-additive, which requires enrichment in abelian groups that can be forgotten. An alternative definition, mentioned in other answers, is from Freyd's book: there abelian is an inherent property rather than an additional structure. This definition would make the statement false.

The second definition is non-abelian category. There is no accepted definition. One possibility is to think of this as just a category. Together with the first definition of abelian category, this makes the statement true. An alternative is to think of a category that cannot be abelian (essentially the negative of the second definition). This choice would make the statement false.

added 11 characters in body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!! The standard definition of abelian category asks for the category to be pre-additive, which requires enrichment in abelian groups that can be forgotten. Off course, as Fred and Dylan rightly point out, this enrichment is inherent in your category structure.

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!!

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!! The standard definition of abelian category asks for the category to be pre-additive, which requires enrichment in abelian groups that can be forgotten. Off course, as Fred and Dylan rightly point out, this enrichment is inherent in your category structure.

added 11 characters in body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!!

As a discerning voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!!

As a discerning dissenting voice, let me say that it is true.

Take abelian $A$. Let $B:=A$ with forgotten enrichment in abelian groups. Then the identity functor is equivalence, but $B$ is not abelian because it is not even additive.

It is all in your definition, doc!!

Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65
Loading