pointwise iso same as iso in functor cat