Categories in CLARIPHY