Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
at additive functor there was a typo in the diagram that shows the preservation of biproducts. I have fixed it.
Also formatted a bit more.
Added a pointer to an old article by Watt and stated the theorem that a right exact additive functor between categories of modules comes from tensoring with a bimodule.
It is Charles E. Watts, rather than Watt. Eilenberg had independently the same result.
I have long time ago created an entry Eilenberg-Watts theorem about the right exact functors between the categories of modules over rings. Maybe this material you added on right exact functors between categories of modules should be integrated there instead. I think this is rather specific material which is not belonging really into a general entry on additive functors as the result is specific about module categories, though a short line with a remark and link to the specialized entry Eilenberg-Watts theorem makes sense. A good reference for this material are intro chapters in Bass’s book on algebraic K-theory. There are some generalizations (and dualizations) for some other setups like in some works of Pareigis, then Schauenburg and so on, in my memory.
It is Charles E. Watts, rather than Watt.
Thanks; I have fixed it. I remember thinking “Haha, it’s not drummer Charlie Watts ” …
I have long time ago created an entry Eilenberg-Watts theorem
Ah, thanks, I have linked to it now. (I expect there are many more entries of yours which I will never find because you don’t link to them…)
But it is linked, e.g. at the main entry abelian category.
But it is a statement about
additive functors
and exact functors
between categories of modules.
So to guarantee that it isn’t duplicated when somebody else comes from any of these three ingredient-entries, it should be linked to from
(I have done that meanwhile.)
Is it really true that Hom is additive as a bifunctor? It is obviously additive in each variable, but I can’t see how it preserves direct sums in the product category $A^{op} \times A$.
Right, it’s not.
I have fixed it (here) by deleting the word “and” in “and in both arguments separately”.
Also added a half-sentence pointing to the fact that hom-functors preserve limits in each variable separately.
1 to 9 of 9