Categories in ACAS