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

Universal Definitions of the Roman Factorial: Introduction to Foundational Functions and the Generalization Process

Arithmetic functions at factorial arguments

A Universal P.R. Function?

Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums

$λ$-factorials of $n$

Some applications of a new approach to factorization

Generation of Fractional Factorial Designs

Factorization of integers and arithmetic functions

Factorization theory: From commutative to noncommutative settings

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

Divided Differences and a Unified Approach to Evaluating Determinants Involving Generalized Factorials

A sum up method for solving summations of the form $\sum_{k=n_0}^{n} A_{n,k}$ and rising and falling factorial transforms

On the finite factorial numbers

On the representation of number-theoretic functions by arithmetic terms

Encoding the Factorisation Calculus

An Algebraic Extension of the General Leibniz Product rule for Fractional Indices and Applications

Factorization of rings of integer-valued rational functions

Summation of Divergent Power Series by Means of Factorial Series

Fractional Finite Sums Theory: a motivation and some new results

Ideal factoriality, semistar operations, and quasiprincipal Ideals

Identities and Generating Functions of Products of Generalized Fibonacci numbers, Catalan and Harmonic Numbers