underlying functor

== English == === Noun === underlying functor (plural underlying functors) (category theory) a forgetful functor