Talk:Quotient of an abelian category

Latest comment: 1 year ago by AxelBoldt in topic Zero object

Zero object

edit

@AxelBoldt: I don’t think the statement of “treating the objects of the subcategory as zero objects” in the first paragraph of Quotient of an abelian category is very sound. For example, building on the vector space example given in the article, tensoring zero should result in zero (it’s not very common where one talks about monoidal abelian categories, but one certainly can, and one of the natural compatibility should be that   is a homomorphism, but I’ve digressed), yet tensoring a finite dimensional vector space in the quotient category results in an isomorphic vector space, which in general isn’t a finite dimensional one, so clearly they aren’t treated as zero objects. I propose to delete this, leaving only the informal statement of “ignoring” the subcategory, since I do not know a better analogy. —Fourier-Deligne Transgirl (talk) 12:54, 7 November 2022 (UTC)Reply

I don’t know if “wikiblaming” is a good practice here since I’m new to the community and haven’t had a lot of experience of contributing, but my reason is that I would prefer consulting the person who wrote this in the first place to see if I’ve missed anything. —Fourier-Deligne Transgirl (talk) 13:03, 7 November 2022 (UTC)Reply
@Fourier-Deligne Transgirl: You should probably post your comments on their talk page, or on the talk page for the article you are discussing. This page should be used for discussing topics of broader interest. jraimbau (talk) 16:05, 7 November 2022 (UTC)Reply
@Jean Raimbault: moved, thanks. --Fourier-Deligne Transgirl (talk) 18:32, 7 November 2022 (UTC)Reply

I do think that "the objects of   become zero in the Serre quotient  " is a good intuition to have. After all, the natural functor   sends them to zero.

It is true (in the example discussed in the article) that   whenever   is finite-dimensional and   is arbitrary. But this doesn't contradict the intuition "  is zero" since   does not have to equal  . In other words: "  becomes 0" does not necessarily imply that "  becomes  ". I guess one could say that the Serre quotient is a construction for abelian categories and is not very well-behaved when applied to monoidal abelian categories. AxelBoldt (talk) 18:59, 7 November 2022 (UTC)Reply