Is there a common name for pairs $(X,\alpha)$, where $X$ is a set and $\alpha : X \times X \to X$ is a bijection? Once I have heard "heap" for this, but this already has a different meaning. Notice: These pairs consistute an algebraic category, so that there are colimits. They are not so easy to construct explicitly, though. Any reference is appreciated.