On abelian 2-categories and derived 2-functors

This is an extended version of my earlier articel “Projective and injective objects in symmetric categorical groups. arXiv:1007.0121v1.” Several new facts added, including the material on the derived 2-functors and the proof of the Gabriel-Mitchel theorem and the Morita theory for 2-rings.