n-category = (n,n)-category
n-groupoid = (n,0)-category
where on the right we have some kind of integration over .
Here is called the integral kernel of the transformation.
Typically the definition of an integral transform on functions involves some delicate technical issues concerning the precise nature of the function space, the measure with respect to which the integral is defined, etc.
On the other hand, one may understand the general form of an integral transform as the decategorification of a very natural general abstract construction in higher category theory: that of integral transforms on sheaves given by spans of base change geometric morphisms.
Special cases of such categorified integral transforms are discussed at