Search results

...an arbitrary function from a ''source'' or ''domain'' to a ''target'' or ''codomain''. Here is one picture of an <math>f : X \to Y,</math> just about as gener

...an arbitrary function from a ''source'' or ''domain'' to a ''target'' or ''codomain''. Here is a picture of such a function, <math>f : X \to Y,</math> as gene

...of objects, called ''source'' and ''target'' (often also ''domain'' and ''codomain'').</p>

| align="right" | 5 || [[Codomain]]

...ordinary function f : X -> Y. If we pick out one y from the target or the codomain Y, then it either has x's from the source or the domain X that are assigned | Source Domain | Target Codomain |

| 'Codomain', which assigns to each arrow f an object b = cod f. | and ending at its codomain (or "target").

...t like <math>f\!</math> on the domain <math>X\!</math> but is assigned the codomain <math>Y^\prime,\!</math> then <math>g\!</math> is surjective, and is descri

...eby assigns a concrete type <math>\langle x \rangle</math> to the abstract codomain <math>\mathbb{B}.\!</math> To make this induction of variables more formal Let us now refer to the dimension of the target space or codomain as the ''toll'' (or ''tole'') of a transformation, as distinguished from th

...these terms are reserved in category theory to refer to the domain and the codomain of a function, mapping, or transformation. This will limit their use, in t

...these words are reserved in category theory to refer to the domain and the codomain of an "arrow", that is, a function, a mapping, a morphism, or a transformat

...;&nbsp;〈''x''〉 and thereby assigns a concrete type 〈''x''〉 to the abstract codomain '''B'''. To make this induction of variables more formal one can append su Let us now refer to the dimension of the target space or codomain as the ''toll'' (or ''tole'') of a transformation, as distinguished from th

...eby assigns a concrete type <math>\langle x \rangle</math> to the abstract codomain <math>\mathbb{B}.\!</math> To make this induction of variables more formal Let us now refer to the dimension of the target space or codomain as the ''toll'' (or ''tole'') of a transformation, as distinguished from th

...eby assigns a concrete type <math>\langle x \rangle</math> to the abstract codomain <math>\mathbb{B}.\!</math> To make this induction of variables more formal Let us now refer to the dimension of the target space or codomain as the ''toll'' (or ''tole'') of a transformation, as distinguished from th

...give just the meanings of either one. All that remains is to provide a ''codomain'' or a ''target space'' for the intended semantic function, in other words,

| align="right" | 5 || [[Codomain]]

to the abstract codomain B. To make this induction of variables more Let us now refer to the dimension of the target space or codomain as

The "fiber" of a codomain element y in Y under a function f : X -> Y is the All that remains is to provide a "codomain" or a "target space" for the

...dyadic relation are referred to as the ''domain'' or ''source'' and the ''codomain'' or ''target'', respectively, of the relation in question.