title, abstract
word smithing
define polynomial functors