I'm not a mathematician so anyone please correct me if I'm wrong, but isn't the point of category theory to provide abstractions so your proofs are very general and cover a lot at once? Of course, it needs to be very abstract to achieve that.