Categories in NIMMS