Perhaps, hopif is a misspelling. Click here to search for this word in our misspelling dictionary.
hopf,
hopf algebra.