categorifies