Categories in STFC-IRIS