In category theory, a branch of mathematics, a conservative functor is a functor F : C → D {\displaystyle F:C\to D} such that for any morphism f in C, F(f) being an isomorphism implies that f is an isomorphism.