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 Universality of the S Combinator

Toward a Combinatorial Theory of SET and Related Card Games

On universal sets and sumsets

On the Combinatorics of the Universal Enveloping Algebra Uh(sl2)

Universal Induction with Varying Sets of Combinators

Universality in Quantum Computation

Universal properties of spaces of generalized functions

Logic and computation as combinatorics

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

Interactions between Universal Composition Operators and Complex Dynamics

From Consequence Operator to Universal Logic: A Survey of General Abstract Logic

A note on the feasibility of generalized universal composability - (Extended abstract)

The Combinatorics of Occam's Razor

On universal operators and universal pairs

On when the union of two algebraic sets is algebraic

A note on the feasibility of generalised universal composability†

Signed combinatorial interpretations in algebraic combinatorics

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Simultaneous universality

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness