A Functor that forgets some structure. Examples: Category of Groups Category of Sets Category of Topological Spaces Category of Sets Category of Rings