Categories in Resolute, NU, F-FL