Englishfor English speakers
pure
Adjective
—
If something is pure, it is not dirty or covered by anything that makes it unclean.
covariant
—
adjective
changing so that interrelations with another variable quantity or set of quantities remain unchanged
functor
noun
—
(grammar) A function word.
—
(object-oriented programming) A function object.
—
category theory: category mapping