Universal properties of spaces of generalized functions (Q6958866)

The authors employ the notion of universal property from category theory to characterize spaces of generalized functions. More precisely, they provide axiomatic descriptions up to isomorphism, based on the concept of a (co-)universal solution to a problem \(\mathcal{P}\) within a category, corresponding to an initial or terminal object in a suitably defined category of solutions.\N\NThe first example illustrating this approach is a co-universal characterization of the sheaf of Schwartz distributions (\(\mathcal{D}'\)). The authors formalize the problem of ``finding the simplest way to have derivatives of continuous functions''. They demonstrate that \((\mathcal{D}', \lambda, (D_k)_k)\), where \(\lambda\) is the inclusion \(\mathcal{C}^0 \hookrightarrow \mathcal{D}'\) and \(D_k\) denote distributional partial derivatives, is the co-universal solution to this problem. This property, which requires compatibility with classical derivatives and a specific condition on the kernel of the derivative operator on \(n\)-dimensional intervals, uniquely characterizes the sheaf of distributions. This is compared to Sebastião e Silva's algebraic approach, and the paper shows how this line of reasoning can be extended to define distributions on Hilbert spaces.\N\NThe paper then goes on to extends this framework to algebras of nonlinear generalized functions. It first characterizes the special Colombeau algebra \(\mathcal{G}^s\) as the co-universal solution in the category of quotient algebras (\(M/{\sim}\)) that satisfy the property that every representative of zero (i.e., any negligible net) must be infinitesimal (i.e., converge to zero on compact sets in all derivatives). This minimality of the class of infinities in the algebra results in the largest possible kernel of negligible nets. Finally, the paper presents a universal property for Generalized Smooth Functions, demonstrating that the underlying construction provides the simplest way to obtain set-theoretical maps, defined on generalized numbers, that possess derivatives of arbitrary order.