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.