1: \begin{abstract}

2:   The \emph{extended persistence diagram} introduced by

3:   Cohen-Steiner, Edelsbrunner, and Harer

4:   is an invariant of real-valued continuous functions,

5:   which are \emph{$\mathbb{F}$-tame} in the sense that all open interlevel sets

6:   have degree-wise finite-dimensional cohomology

7:   with coefficients in a fixed field $\mathbb{F}$.

8:   We show that

9:   \emph{relative interlevel set cohomology (RISC)},

10:   which is based on the \emph{Mayer--Vietoris pyramid}

11:   by Carlsson, de Silva, and Morozov,

12:   categorifies this invariant.

13:   More specifically,

14:   we define

15:   an abelian Frobenius category $\mathrm{pres}(\mathcal{J})$ of presheaves,

16:   which are presentable in a certain sense,

17:   such that the RISC $h(f)$

18:   of an $\mathbb{F}$-tame function

19:   $f \colon X \rightarrow \mathbb{R}$

20:   is an object of $\mathrm{pres}(\mathcal{J})$,

21:   and moreover

22:   the extended persistence diagram

23:   of $f$ uniquely determines

24:   -- and is determined by --

25:   the corresponding element

26:   $[h(f)] \in K_0 (\mathrm{pres}(\mathcal{J}))$ in the Grothendieck group

27:   $K_0 (\mathrm{pres}(\mathcal{J}))$

28:   of

29:   the abelian category $\mathrm{pres}(\mathcal{J})$.

30:   As an intermediate step we show that $\mathrm{pres}(\mathcal{J})$

31:   is the abelianization

32:   of the (localized) category of complexes

33:   of $\mathbb{F}$-linear sheaves on $\mathbb{R}$,

34:   which are \emph{tame} in the sense that sheaf cohomology

35:   of any open interval is finite-dimensional in each degree.

36:   This yields a close link between derived level set persistence

37:   by Curry, Kashiwara, and Schapira

38:   and the categorification of extended persistence diagrams.

39: \end{abstract}

40: