Lie superheaps and their groupification

We introduce the notion of a Lie superheaps as a generalisation of Lie supergroups. We show that the well-known ‘groupification’ and ‘heapification’ functors generalise to the ambience of supergeometry. In particular, we show that there is an isomorphism between the categories of pointed Lie superheaps and Lie supergroups. To do this, we make extensive use of the functor of points.