Talk:Abelian category
From Wikipedia, the free encyclopedia
 |
|||||||||||||||||||||||
| Mathematics rating: | B Class | Mid Priority | Field: Foundations, logic, and set theory | ||||||||||||||||||||
|
|||||||||||||||||||||||
I intend to redesign this article over the next few days, in light of the existence of the articles Preadditive_category, Additive_category, and Pre-Abelian_category. I'm going to tighten up the definition, since much of that repeats items that can be found in those articles, and add reference links to those articles. — Toby 11:34 Jul 21, 2002 (PDT)
[edit] Module (category theory)
Hi there! Does the concept of Module (category theory) make any sense to you? If so, would anybody write an article about this? This article seems to be requested on Wikipedia:Requested articles/mathematics. I suspect the person requesting this article confused something, but I could be wrong. Thanks. Oleg Alexandrov 00:15, 29 Dec 2004 (UTC)
[edit] Some suggestions for the page
I have never participated in Wikipedia before so I hope I do not make mistakes. The definition of abelian category given on this page is in a very category-theoretic language; I do not know offhand the definition of "normality" for monomorphisms and epimorphisms and I do not believe most working mathematicians who use abelian categories, and who need to prove that a given category is an abelian category, know that definition. The definition of abelian category given in this article is certainly in line with Freyd's approach to the topic, and it is a good definition, but perhaps also including a more elementary definition would be good, such as the one on Wolfram's site ( [1] ), which is basically identical to the one given in Lang's Algebra. The advantage of this definition is that it is more elementary and familiar to mathematicians who, like myself at this very moment, run across this page because they need to check that a certain category is abelian, and they do not have their standard reference book for abelian categories with them.
There are also some standard properties which you would like an abelian category to have, which they do not always have, but which guarantee different kinds of "nice" behavior in the category; but they are important in the theory of abelian categories and you typically want to know, for any abelian category, which of these axioms it satisfies. They are usually called (AB3), (AB3*), (AB4), (AB4*), (AB5), and (AB5*), and they are written up in most standard references on abelian categories, and appear in most papers and books in algebraic geometry which use any examples of abelian categories which are at all unusual, for instance, Milne's Etale Cohomology. The properties (AB3),...,(AB5*) are defined and discussed in Bucur-Deleanu's book on the subject and I would add the definitions to this page if I had a copy of the book with me right now. They would be a very appropriate addition to this article. --128.151.22.38 (talk) 21:04, 5 May 2008 (UTC)
- I am sure that any contributions you make would be welcome additions to the article. If you feel the current definition can be improved, feel free to edit it as you see fit. If other editors disagree you can work together towards the best solution. If you plan to do a lot of editing around here its helpful to create a user account. Drop a note on my talk page if you need any help. Welcome to Wikipedia! -- Fropuff (talk) 05:05, 6 May 2008 (UTC)
