I am just reading around in a mathematical topic called “category theory,”
and I came across a striking term of art: “Forgetful functors.” Here
is a definition. Note
that: “Forgetful functors are covariant and faithful.” Well, you’d want
them to be, wouldn’t you?