Abstract:Universality of a concept here means wide conceptual and practical usefulness in mathematics and applications. The function concept owes its universality to simplicity, generality and powerful algebraic properties. Advantages proven in the sciences at large significantly benefit computing science as well. Universality critically depends on the definitional choices. The first half of this paper shows that a “function” in the sense prevalent throughout the sciences, namely, as fully specified by its domain and its values , entails the characteristics that most contribute to universality. This link is clarified by some less well-understood aspects, including the role of function types as partial specifications, the ramifications of having composition defined for any pair of functions, and unification by capturing various notions not commonly seen as functions. Simple but representative examples are given in diverse areas, mostly computing. When a codomain appears at all in basic textbooks, it mostly involves a self-contradicting definition, corrected by the labeled function variant. Either way, it severely reduces universality, especially for composition. Yet, the axiomatization of category theory common in theoretical computing science offers no other choice. The second half explores how waiving one axiom generalizes category theory to include a wider variety of concepts, primarily the conventional function variant. It is also shown how this can be done unobtrusively for typical categorical notions, such as products, coproducts, functors, natural transformations, adjunctions, Galois connections, and auxiliary concepts, illustrated by example definitions and technical comments. Allowing the familiar function variant renders category theory more appealing to a wider group of scientists. A lesson for mathematics in general is Rogaway’s maxim: “Your definitional choices should be justified”!

On the functions generated by the general purpose analog computer

Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer

On the impossibility of using analogue machines to calculate non-computable functions

The complexity of computing in continuous time: space complexity is precision

Additive Kernels for Gaussian Process Modeling

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Images of Gaussian and other stochastic processes under closed, densely-defined, unbounded linear operators

NFGen: Automatic Non-linear Function Evaluation Code Generator for General-purpose MPC Platforms

Generalization of Gurjar's Hyperplane section theorem to arbitrary analytic varieties and A$\mathbb{m}$AC classes

A model-theoretic characterization of constant-depth arithmetic circuits

Functional Variant of Polynomial Analogue of Gandy's Fixed Point Theorem

On a model of online analog computation in the cell with absolute functional robustness: Algebraic characterization, function compiler and error control

Generalized integrals of Macdonald and Gegenbauer functions

A Generalization of Arithmetic Derivative to $p$-adic Fields and Number Fields

The universality of functions in the sciences at large and in computing

The Nonconvex Geometry of Linear Inverse Problems

Computation Over Gaussian Networks With Orthogonal Components

Variational Gaussian Processes: A Functional Analysis View

On Bayesian Generalized Additive Models

Generalized functions as a tool for nonsmooth nonlinear problems in mathematics and physics