added prop about T preserving kers and cokers
proved that A/C has enough kernels and cokernels
proved that A/C is an abelian category; added notation for coim