Conservative functor
= Conservative functor
A <functor> is conservative when it reflects <isomorphisms>: if $F(f)$ is invertible then $f$ is invertible. It need not be full or <faithful functor>. The <crude monadicity theorem> uses this reflection property to lift invertibility of the comparison-adjunction counit from the base <category>.