Torsor

A set (or sheaf, scheme, etc.) with a simply transitive action of a group G: there is a free transitive G-action but no distinguished identity point, so the torsor is a 'principal homogeneous space' that becomes isomorphic to G once a basepoint is chosen.