Conservative functor
= Conservative functor
{wiki=Conservative_functor}
In category theory, a **conservative functor** is a type of functor between two categories that preserves certain properties of objects and morphisms. Specifically, a functor \\( F: \\mathcal\{C\} \\to \\mathcal\{D\} \\) is called conservative if it satisfies the following condition: A morphism \\( f: A \\to B \\) in category \\( \\mathcal\{C\} \\) is an isomorphism (i.e.