forgetful functor Synonyms

stripping functor underlying functor