faithful functor
functor which is injective when restricted to every hom-set
faithful group action
group action such that every nontrivial group element moves at least one point
forgetful functor
drops some or all of the input's structure or properties