added torsion theory section, defined subobject, quotient, idempotent, pre-/co/radicals