Lie Superheaps and their Groupification

Abstract: We introduce the notion of a Lie superheaps as a generalisation of Lie supergroups. We show that the well-known groupification' andheapification' 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.