added prop about torsion subcategories
added statement of prop 2.7: equivalence condition on torsion categories
proved prop 2.7
added definition of largest subobject
added porism about well-powered abelian categories having a largest subobject
proved porism