query: functor is to multiplicative morphism as __________ is to strongly homotopy multiplicative morphism (aka A_\infty morphism) That's thr trouble with affixes like quasi- or pseudo- though lax might do