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.