If you take the category with Banach spaces as objects, and continuous linear maps that have a closed image as morphisms, then do you get an abelian category?