Function (Mapping)¶

Version: v2 · 2026-08-30 · History
Prime #: 2
Origin domain: Mathematics
Also from: Computer Science & Software Engineering, Philosophy
Aliases: Function, Map, Mapping, Morphism Informal
Related primes: Set and Membership, Relation, Composition, Stochasticity vs. Determinism, Inversion

Core Idea¶

Relating inputs to outputs through a rule or process.

How would you explain it like I'm…

Same answer machine

Think of a vending machine. You press B4 and you always get the same snack. Press B4 again — same snack. A function is just a rule like that: put something in, get one exact thing out, every single time. No surprises. That 'always the same answer' is what makes a function a function.

Same input, same output

A function is a rule that takes an input and gives you exactly one output, every time, no matter when or who asks. 'Double the number' is a function: give it 3, you get 6 — always 6. The 'same input, same output' rule is the whole point. It separates functions from things like 'pick your favorite color,' which depends on mood. Functions are the building blocks of math and computer programs because you can trust them to behave the same way.

A deterministic input-output rule

A function is a rule that assigns to each input from one set (the domain) exactly one output from another set (the codomain). The defining commitment is determinism: same input, same output, no matter the context or the asker. That single-valued rule is what separates a function from a general relation (which can give many outputs), from a correlation (which is just statistical co-variation), and from a process (which has internal state and timing). Functions matter because they compose cleanly: feeding one function's output into another always gives you another function — which is why they're the building blocks of math, programming, and engineering.

A function is a rule that assigns to each element of one set (the domain, the set of allowable inputs) exactly one element of another set (the codomain, the set of possible outputs); the defining structural commitment is determinism — same input, same output, without reference to context, time, or evaluator state. This is what distinguishes a function from an arbitrary relation (which permits one-to-many links), from a correlation (statistical co-variation rather than deterministic assignment), from a causal relationship (which explains why rather than what), from an algorithm (which computes the function rather than being it), and from a process (which has internal state and timing). A function is specified by a domain of admissible inputs, a codomain of possible outputs, and the mapping itself — either extensionally (a table of input-output pairs) or intensionally (a formula, predicate, or algorithm). The deeper abstraction: moving from a mere association pattern to a single-valued rule is the foundational commitment that makes compositional reasoning possible. Functions compose cleanly because the single-valued guarantee ensures the composition is itself a function. This closure under composition is why function-mapping is load-bearing in analysis, programming, control theory, and category theory. Violations (hidden state, unacknowledged stochasticity, silent partiality) are the most common source of bugs in systems informally described as 'functional.'

Broad Use¶

Models dependencies and cause-effect relationships in systems, such as inputs/outputs in engineering, economics, or software.

Clarity¶

Models input-output relationships, such as understanding how rain (input) affects crop yield (output), simplifying causal reasoning in agriculture.

Manages Complexity¶

Encapsulates dependencies into manageable units, avoiding repeated manual reasoning for every input-output pair.

Abstract Reasoning¶

Frames relationships as abstract rules, allowing generalizations like "if , then " across contexts.

Knowledge Transfer¶

Enables application of dependency reasoning across fields like economics (supply-demand), biology (genetic inheritance), and engineering (force-displacement).

Example¶

A recipe maps ingredients (inputs) to a finished dish (output), providing a clear dependency relationship.

Relationships to Other Abstractions¶

Current abstraction Function (Mapping) Prime

Foundational — no parent edges in the catalog.

Children (125) — more specific cases that build on this

Additive function Domain-specific is a kind of Function (Mapping)

The proposed strict upward parent is prime:function_mapping.
Applicative programming language Domain-specific is a kind of Function (Mapping)

The proposed strict upward parent is prime:function_mapping.
Arithmetic function Domain-specific is a kind of Function (Mapping)

The proposed strict upward parent is prime:function_mapping.
Barron space Domain-specific is a kind of Function (Mapping)

The proposed strict upward parent is prime:function_mapping.
Bessel–Clifford function Domain-specific is a kind of Function (Mapping)

Bessel–Clifford Function instantiates Function Mapping because it assigns a unique analytic value to each admissible order-and-argument pair through a convergent power-series rule.

▸ Show 120 more

Bockstein homomorphism Domain-specific is a kind of Function (Mapping)
Bockstein Homomorphism instantiates Function (Mapping) because it assigns each homology or cohomology class a uniquely determined degree-shifted class through a fixed lift–boundary rule.
Borel Functional Calculus Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the strict parent by specialization: the Borel calculus is a mapping \(f\mapsto f(T)\) with a fixed spectral operator context.
Chern–Weil homomorphism Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Chord-scale system Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Complex normal distribution Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Computational problem Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Cubic function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Daniell Integral Domain-specific is a kind of Function (Mapping)
Daniell Integral instantiates **Function (Mapping)** because its primitive \(I\) maps functions to scalars.
Dedekind psi function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Del Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Descriptive interpretation Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Determinant Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the strict parent because determinant is a scalar-valued function with a fully specified domain and rule.
Differential operator Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Direct image with compact support Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Dirichlet Eta Function Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the proposed immediate parent.
Discount function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
E-function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Engel curve Domain-specific is a kind of Function (Mapping)
An Engel Curve is a function specialized to map household income to one good's demanded quantity or budget share while the price vector is held fixed.
Essentially surjective functor Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Euclid number Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Fox–Wright function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Frobenius Formula Domain-specific is a kind of Function (Mapping)
The accepted reference-grade review places Frobenius Formula under Function (Mapping) because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Functional Calculus Domain-specific is a kind of Function (Mapping)
**`prime:function_mapping`** is the proposed minimal parent by strict specialization.
Gamma Function Domain-specific is a kind of Function (Mapping)
Gamma maps admissible complex arguments to complex values.
Gegenbauer polynomials Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Generalized inverse Gaussian distribution Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Graph of a Function Domain-specific is a kind of Function (Mapping)
**Function Mapping** is the strict parent by composition.
Haven (Graph Theory) Domain-specific is a kind of Function (Mapping)
**Function Mapping** is the strict parent because a haven is formally a total single-valued assignment from every small vertex subset to one eligible connected component.
Holomorphic functional calculus Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Hurwitz zeta function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Image (category theory) Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Image color transfer Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Implicit function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Induced homomorphism Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Injective object Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Integration by parts operator Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Inverse image functor Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Kaprekar number Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Killing form Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Kirwan map Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Linear fractional transformation Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** (`prime:function_mapping`).
Logarithmic mean Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Logic gate Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Matrix exponential Domain-specific is a kind of Function (Mapping)
Matrix Exponential instantiates Function Mapping because it associates each square matrix with one uniquely defined square matrix through a convergent analytic rule.
Meijer G-function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Mennicke symbol Domain-specific is a kind of Function (Mapping)
The accepted reference-grade review places Mennicke symbol under Function (Mapping) because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Method (computer programming) Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Metric Map (Nonexpansive Map) Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the proposed minimal parent: a nonexpansive map is a strict function specialization constrained by two metrics.
Monoidal category action Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Morphism of algebraic varieties Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Multiplicative Function Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the strict parent by specialization.
Multivariate Gamma Function Domain-specific is a kind of Function (Mapping)
The multivariate gamma function **specializes Function (Mapping)**.
Norm Domain-specific is a kind of Function (Mapping)
A Norm is a Function Mapping specialized to assign every vector one non-negative real magnitude under three compatibility axioms.
Open and closed maps Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Orientation character Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Outer product Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Pettis integral Domain-specific is a kind of Function (Mapping)
Pettis Integral instantiates Function Mapping because it assigns each measurable set a uniquely characterized vector, with the mapping fixed by equality of every continuous-linear scalar readout.
Pillai's Arithmetical Function Domain-specific is a kind of Function (Mapping)
Pillai's Arithmetical Function strictly **instantiates prime:function_mapping**.
Poly-Bernoulli number Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Positive-definite kernel Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Positive harmonic function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Probability Weighting Function Domain-specific is a kind of Function (Mapping)
A probability-weighting function is a function mapping specialized to probability inputs and subjective decision-weight outputs.
Propositional function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Pseudo-polynomial transformation Domain-specific is a kind of Function (Mapping)
Pseudo-polynomial Transformation instantiates Function Mapping because it is literally a function from encoded source instances to encoded target instances, specialized by decision preservation and quantitative bounds.
Pseudoanalytic function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Q-function Domain-specific is a kind of Function (Mapping)
Q-Function instantiates Function (Mapping) because it assigns each real threshold exactly one standard-normal upper-tail probability under a fixed integral rule.
Q-Weibull distribution Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Quadratic function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Quality function deployment Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Quantile function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Quasi-finite morphism Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Quasi-Open Map Domain-specific is a kind of Function (Mapping)
**Function Mapping** is the strict parent because a quasi-open map is a function whose images satisfy an additional topological predicate.
Quintic function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Random Variable Domain-specific is a kind of Function (Mapping)
A Random Variable is a Function Mapping specialized to a measurable map from a probability space into a numerical measurable space.
Real-valued function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Riesz potential Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Ring Homomorphism Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the proposed immediate parent.
Scalar field Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Schur functor Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Schwarz triangle function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Smooth functor Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Soft set Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Standard Part Function Domain-specific is a kind of Function (Mapping)
**Function Mapping** is the strict parent because standard part is a single-valued map from finite hyperreals onto ordinary reals.
Statistic Domain-specific is a kind of Function (Mapping)
Statistic is a strict specialization of **Function (Mapping)**: it has a sample-space domain, statistic-space codomain, and a single-valued measurable rule, with the additional restriction that the rule not depend on unknown parameters.
Submersion (mathematics) Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Sum of squares function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Swish function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Ternary Quartic Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** is the strict parent because evaluation on a declared scalar domain maps each triple to exactly one scalar.
Triple system Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Variance function Domain-specific is a kind of Function (Mapping)
**Function (Mapping)** (`prime:function_mapping`).
Virtual function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Wavelet Domain-specific is a kind of Function (Mapping)
A Wavelet is a Function Mapping specialized to a localized, mean-zero, finite-energy oscillatory template whose dilations and translations analyze signals.
Weakly measurable function Domain-specific is a kind of Function (Mapping)
The proposed strict upward parent is `prime:function_mapping`.
Bijectivity Prime is a kind of Function (Mapping)
Bijectivity is a Function Mapping specialized by the conjunction of no collisions and no gaps, which yields a unique inverse.
Convolution Prime is a kind of Function (Mapping)
Convolution is 'the UNIQUE linear, translation-invariant' function mapping — one fixed kernel applied identically everywhere.
Dose-Response Relationship Prime is a kind of Function (Mapping)
Dose-response relationship is a specialization of function (mapping) that assigns response magnitudes deterministically to dose levels.
Hashing Prime is a kind of Function (Mapping)
Hashing is a deterministic many-to-one function from an unbounded input space to a short fixed-size token (a bounded codomain), used as the object's handle.
Higher Order Function Prime is a kind of Function (Mapping)
'Not function_mapping — a function-mapping is the FIRST-ORDER layer (data to data); a higher-order function operates on the NEXT layer up, taking or returning functions themselves...
Injectivity Prime is a kind of Function (Mapping)
Injectivity is a Function Mapping specialized by the no-collision requirement that distinct inputs receive distinct outputs.
Metric Prime is a kind of Function (Mapping)
Every Metric is a Function Mapping from ordered pairs of objects to non-negative real distances, with metric axioms added.
Similarity Measure Prime is a kind of Function (Mapping)
A similarity measure is a function mapping specialized to pairs of represented objects and a comparable degree of likeness.
Subadditivity Prime is a kind of Function (Mapping)
The accepted reference-grade review places Subadditivity under Function (Mapping) because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Surjectivity Prime is a kind of Function (Mapping)
Surjectivity is a Function Mapping specialized by the no-gap requirement that every element of the declared codomain is reached by at least one input.
Transformation Prime is a kind of, typical Function (Mapping)
A transformation is a rule-governed single-valued mapping with added invariant-preservation semantics; every transformation is a function.
Active–Stative Alignment Domain-specific presupposes Function (Mapping)
Active–Stative Alignment presupposes `prime:function_mapping`: a grammar maps a fully specified predicate-and-context input to an A-like or P-like coding output.
Anonymous Function Domain-specific presupposes Function (Mapping)
Strictly presupposes `prime:function_mapping`; the construct produces callable behavior governed by a mapping contract but is not a subtype of the abstract mapping relation.
Derivative Domain-specific presupposes Function (Mapping)
A Derivative requires a Function Mapping whose output response to nearby input changes is evaluated at a base point.
Functor Domain-specific is part of Function (Mapping)
A Functor contains deterministic object and arrow functions whose coordinated images are constrained by the identity and composition laws.
Hamiltonian Mechanics Domain-specific is part of Function (Mapping)
Hamiltonian Mechanics contains a scalar function mapping each phase-space state and time to the Hamiltonian value that generates the system's flow.
Image (of a Function) Domain-specific presupposes Function (Mapping)
An Image requires a Function Mapping whose outputs can be collected and compared with its declared codomain.
Learnable Function Class Domain-specific is part of Function (Mapping)
**`prime:function_mapping` — proposed strict part relation.** Hypotheses are the constituent input-to-output mappings collected in \(H\); the child adds statistical and class-level obligations.
Regression Domain-specific is part of Function (Mapping)
Regression contains a function mapping as its systematic component from explanatory-variable inputs to an outcome value or distribution parameter.
Siegel Zero Domain-specific presupposes Function (Mapping)
The minimal prospective placement is a strict composition/presupposition edge to live `prime:function_mapping`.
Algorithm Prime presupposes Function (Mapping)
An algorithm presupposes function because the procedure it specifies is precisely a mechanical way of realizing a deterministic input-to-output mapping.
Equivariance Prime presupposes Function (Mapping)
Equivariance presupposes Function (Mapping): the equivariance property is asserted of a deterministic map between sets carrying group actions.
Indirection Prime is part of Function (Mapping)
Indirection contains the reference-to-provider mapping that its resolution mechanism evaluates while decoupling consumer from provider.
Preimage Prime presupposes Function (Mapping)
'The preimage RIDES ON a forward mapping but runs its arrow backward...
Teleology Prime presupposes Function (Mapping)
Teleology presupposes function because end-directed explanation operates by assigning each phenomenon to the function it serves.
Supply Domain-specific is a decomposition of Function (Mapping)
Supply decomposes to Function Mapping because its schedule assigns each admissible price and background condition the quantity producers would bring to market.
Game-Theoretic Strategy Prime is a decomposition of Function (Mapping)
A game-theoretic strategy is the specific shape function takes when the mapping is from observed game history to a chosen action at each information set.

Not to Be Confused With¶

Function (Mapping) is not Recurrence because Function Mapping is a static mathematical or logical correspondence between input and output domains, whereas Recurrence defines a sequence where each term depends on previous terms.
Function (Mapping) is not Transformation because Function Mapping explicitly specifies the systematic rule translating inputs to outputs, whereas Transformation is the general process of changing something from one form to another.
Function (Mapping) is not Algorithm because Function Mapping explicitly specifies the systematic rule translating inputs to outputs, whereas Algorithm is a step-by-step procedure for executing a computation or solving a problem.