functorial

not defined yet