Source: /wikibot/forgetful-functor

= Forgetful functor
{wiki=Forgetful_functor}