Categories in FOOT