underlying functor

Noun

 * 1)  a forgetful functor