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' 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.