For example, the forgetful functor from the category of join-semilattices (and their homomorphisms) to the category of sets (and functions) admits a left adjoint.
Concrete categories have forgetful functors to the category of setsindeed they may be "defined" as those categories that admit a faithful functor to that category.
