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?