We prove that any faithful Frobenius functor between abelian categories preserves the
Gorenstein projective dimension of objects. Consequently, it preserves and reflects …