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”!

An Invitation to Universality in Physics, Computer Science, and Beyond

A Framework for Universality in Physics, Computer Science, and Beyond

A Thermodynamically Universal Turing Machine

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

Universal Logic Elements Constructed on the Turing Tumble

Universality in driven open quantum matter

Universality in Quantum Computation

Gödel's incompleteness theorem and universal physics theories

Computational universes

Translationally invariant universal classical Hamiltonians

On the Dynamic Qualitative Behaviour of Universal Computation

Why we live in the Computational Universe

The Structure of Emulations in Classical Spin Models: Modularity and Universality

Toward a Universal Quantum Computer

First Draft on the xInf Model for Universal Physical Computation and Reverse Engineering of Natural Intelligence

Fuzzy Turing Machines: Variants and Universality

Universality in long-distance geometry and quantum complexity

Universal Imitation Games

The Limits of Mathematics---Course Outline and Software

Universal relations in the self-assembly of proteins and RNA

Universality conditions of unified classical and quantum reservoir computing