Matlab and some category theory