The subgroup description presupposes a determinate point-set identity for F, but objects individuate...