Categories in ICFA