Conservative functor

In category theory, a branch of mathematics, a conservative functor is a functor such that for any morphism f in C, F(f) being an isomorphism implies that f is an isomorphism.

Conservative functor

In category theory, a branch of mathematics, a conservative functor is a functor such that for any morphism f in C, F(f) being an isomorphism implies that f is an isomorphism.