functorial interface to IxSet