In category theory, A forgetful functor is loosely defined as a functor that just throws away some of the structure, while preserving some other structure.
In category theory, A forgetful functor is loosely defined as a functor that just throws away some of the structure, while preserving some other structure.