??? ideas of lawvere's about "n-boolean algebras" that todd mentioned .... ??vaguely reminds me of fairly non-profound ideas that i had a long time ago about ... ??actually not sure how well i can remember it... or to what extent it actually made sense .... ????fully embedding the category of models of a lawvere theory in category of actions of a monoid ??? ....???or was there also a slice category process involved, which would make it even less profound ... ?? ... ??"valence" / "arity" of operation ?? .... ?????.... ??? n-ary operation on x manifested as unary on x^n ... ??extent to which lawvere's examples canbe understood in terms of such tricks ... ????.....