 More generally, every monadic functor is conservative.In contrast, the forgetful functor from Top to Set is not conservative because not every continuous bijection is a homeomorphism.Every faithful functor from a balanced category is conservative.