1: \begin{abstract} Let $k$ be  an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring, and let $\FF$ be an algebraically closed field of characteristic 0. We consider the $R$-linear category $\Fppk{R}$ of diagonal $p$-permutation functors over $R$. We first show that the category $\Fppk{\FF}$ is {\em semisimple}, and we give a parametrization of its simple objects, together with a description of their evaluations. \par

2: Next, to any pair $(G,b)$ of a finite group $G$ and a block idempotent $b$ of $kG$, we associate a diagonal $p$-permutation functor $\RTD_{G,b}$ in $\Fppk{R}$. We find the {\em decomposition} of the functor $\FFTD_{G,b}$ as a direct sum of simple functors in $\Fppk{\FF}$. This leads to a characterization of {\em nilpotent blocks} in terms of their associated functors in $\Fppk{\FF}$. \par

3: Finally, for such pairs $(G,b)$ of a finite group and a block idempotent, we introduce the notion of {\em functorial equivalence} over $R$, which (in the case {$R=\nolinebreak\ZZ$}) is slightly weaker than $p$-permutation equivalence, and we prove a corresponding {\em finiteness theorem}: for a given finite $p$-group $D$, there is only a finite number of pairs $(G,b)$, where $G$ is a finite group and $b$ a block idempotent of $kG$ with defect isomorphic to $D$, up to functorial equivalence over~$\FF$.\par

4: %{\bf Keywords:} diagonal $p$-permutation functor, semisimple, block, functorial equivalence.

5: \end{abstract}

6: