A few weeks ago on MathOverflow Greg Muller asked, “why do groups and abelian groups feel so different?” The answers were very interesting and came from several different perspectives, but I still don’t feel as if the question was resolved. So I’ll try to synthesize and summarize some of the answers and hopefully something will be clearer in the end.
Morphisms
Groups naturally arise as automorphism groups of objects in categories. From this perspective abelian groups should just correspond to objects with particularly simple symmetries. But abelian groups have their own special type of symmetry: the pointwise sum of two homomorphisms is also a homomorphism, so 
This observation also immediately tells us why 
Non-abelian groups, on the other hand, have a totally different set of distinguished automorphisms: the inner automorphisms 
Perhaps precisely because their structure is so well-controlled, abelian groups lead to a lot of useful constructions in mathematics, such as abelian categories (the basic tool of homological algebra). Even to study groups one often passes to the category of modules over the group algebra!
What’s not clear to me is the following: should I think of abelianness as a powerful tool or as the easier version of a more difficult but more powerful theory of “non-abelian categories”?
A 2-categorical perspective
One particular complaint Greg had was that abelian groups rarely arise, in practice, as automorphism groups of objects. There is a way, however, one can get abelian groups “naturally” acting on things. The Eckmann-Hilton argument shows that two monoid structures on a set which are homomorphisms of each other must in fact be the same commutative monoid structure, and has the following consequences:
- The higher homotopy groups are abelian.
- The
-morphisms in a
The latter is due to the fact that 
The big question, of course, is whether the abelian groups that naturally arise in mathematics can actually be fruitfully thought of in this way. Anyone have any thoughts?
Well, here’s something I was thinking, although maybe it’s equivalent to what you said.
Groups are categories, right? Specifically, they’re groupoids that are monoids. So it makes sense to define functors between groups, which happen to coincide with homomorphisms. Now two functors (in the categorical setting)/homomorphisms (in the group-theoretic setting), which we’ll call
, are naturally isomorphic iff there’s some element 
with $f = aga^{-1}$. Now if H is abelian, then this happens iff 
, so two parallel functors are naturally isomorphic iff they’re not just equivalent, but actually “the same.” But if H is nonabelian, there are plenty of natural transformations between different morphisms.
There’s gotta be a way of phrasing this categorically — I think we’re saying that the 2-category of abelian groups is a strict 2-groupoid, whereas the 2-category of groups is only a weak 2-groupoid? Again, this “feels” like it should tell us why the higher homotopy groups are abelian, although I don’t really see how.
I interpret it as meaning that the Cartesian closure of
is 
, but I don’t know if this is true or meaningful.
Is
really cartesian closed? I think I see what you’re going for, though, although at best this seems like a 1-categorical shadow of a 2-categorical statement.
“should I think of abelianness as a powerful tool or as the easier version of a more difficult but more powerful theory of “non-abelian categories”?”
Well, obviously, the answer depends on context. For example, if you’re studying the automorphism group of some class of mathematical objects, and manage to prove that it’s always abelian, then that (may) turn into a powerful tool for telling you something about your objects.
You can ask similar questions in many areas of mathematics: e.g. replace abelianness w/ “field/vector space” and non-abelianness with “ring/module”. (Keeping in mind that modules over a group ring are morally equivalent to group representations) I don’t think of linear algebra as just an easier version of the representation theory of groups. I think of linear algebra as somehow more fundamental…but maybe I just haven’t thought about it too much.
I think you’ve slightly misunderstood my question. What I mean is this: homological algebra is all about abelian categories, so when I say “abelianness” I’m including modules over rings. Is there a “non-abelian homological algebra” on “non-abelian categories” which generalizes homological algebra?
Something like this?
http://ncatlab.org/nlab/show/nonabelian+cohomology
Yeah. I have to admit I only thought of searching on nLab after making that comment.
I think part of what you’re getting at in the 2-categories section is that AbGroups is an abelian category but Groups is not(not even additive) and since if we consider the 2-category of an abelian category we get an abelian category(morphisms are Z-matrices since Hom sets are abelian groups). Thus moving up this ladder, the AbGroups look similar(the same?) but Groups does not. This may be similar to what your saying but at least this is something that _I_ find interesting about them.
B.t.w. nice blog, I enjoy it.