The term "forgetful functor" is not perfectly well defined. Depending on context, I've seen it defined as "faithful functor with a left adjoint", because most notions of "Forget" should have a corresponding notion of "Free".
Theo Johnson-Freyd
- 54.6k
- 10
- 142
- 336