exactness for an abelian category

Let be a pointed finitely bicomplete category, be objects with following diagram

Then it is said to be exact at , if

are naturally isomorphic, where is the kernel and image in an additive category

i.e.

commutes