# PolynomialCategoryLifting(E, Vars, R, P, S)¶

This package provides a very general map function, which given a set S and polynomials over R with maps from the variables into S and the coefficients into S, maps polynomials into S. S is assumed to support +, * and ^.
map(varmap, coefmap, p) takes a varmap, a mapping from the variables of polynomial p into S, coefmap, a mapping from coefficients of p into S, and p, and produces a member of S using the corresponding arithmetic. in S.