codomain
P7031
predicate
Indicates the set of all possible output values that a function or mapping can produce, regardless of which values are actually attained.
All labels observed (14)
| Label | Occurrences |
|---|---|
| codomain canonical | 155 |
| codomainCondition | 11 |
| typicalCodomain | 9 |
| codomainOfFunctor | 3 |
| hasCodomain | 3 |
| codomainObject | 2 |
| codomainCategory | 1 |
| codomainObjects | 1 |
| codomainProperty | 1 |
| codomainSpace | 1 |
| codomainTypically | 1 |
| generalCodomain | 1 |
| oracleFunctionCodomain | 1 |
| rankFunctionCodomain | 1 |
Sample triples (191)
| Subject | Object |
|---|---|
| Janet–Cartan theorem | Euclidean space R^N ⓘ |
| S-matrix | Hilbert space of asymptotic states ⓘ |
| Minkowski functional | nonnegative real numbers ⓘ |
| von Neumann universe | ordinals via predicate surface "rankFunctionCodomain" ⓘ |
| Levi-Civita connection | smooth vector fields ⓘ |
| Riemann curvature tensor | tangent bundle of a manifold ⓘ |
| Gauss map | unit sphere ⓘ |
| Gauss map | 2-sphere ⓘ |
| Conway polynomial | Laurent polynomials in one variable ⓘ |
| Gaussian curvature | real numbers ⓘ |
| Riemann integral | real numbers ⓘ |
| Riemann mapping theorem | open unit disk in the complex plane via predicate surface "codomainCondition" ⓘ |
| Radon–Nikodym derivative | extended real-valued functions ⓘ |
| Whitney approximation theorem | target is a smooth manifold via predicate surface "codomainCondition" ⓘ |
| Euler’s formula for complex exponentials | unit circle in \mathbb{C} ⓘ |
| Euler’s totient function φ(n) | nonnegative integers ⓘ |
| Gödel numbering | syntactic expressions of a formal language ⓘ |
| Hardy–Littlewood maximal function | measurable functions ⓘ |
| Kronecker delta | {0,1} ⓘ |
| Heaviside step function | {0,1} ⓘ |
| Weierstrass approximation theorem | real-valued function via predicate surface "codomainCondition" ⓘ |
| Weierstrass function | real numbers ⓘ |
| Weierstrass factorization theorem | representations as infinite products ⓘ |
| topological quantum field theory | category of vector spaces ⓘ |
| Lefschetz operator | space of differential forms on a Kähler manifold ⓘ |
| Lie algebra representation | endomorphism algebra of a vector space ⓘ |
| Lie algebra representation | Lie algebra of linear operators on a vector space ⓘ |
| Lie bracket |
Lie algebras
ⓘ
surface form:
Lie algebra
|
| Gamma function | complex numbers ⓘ |
| Poincaré map | lower-dimensional surface ⓘ |
| Weingarten map | tangent space of a surface at a point ⓘ |
| Jones polynomial | Laurent polynomials in a variable q^{1/2} ⓘ |
| Jones polynomial | Laurent polynomials in a variable t^{1/2} ⓘ |
| Legendre symbol | {-1,0,1} ⓘ |
| HOMFLY-PT polynomial | Laurent polynomials in two variables ⓘ |
| Alexandrov compactification | compact topological space ⓘ |
| Jacobi symbol | {-1,0,1} ⓘ |
| Dirac delta function | space of distributions ⓘ |
| Hicksian demand | consumption bundles ⓘ |
| Boltzmann collision operator | functions of molecular velocity ⓘ |
| Riemann–Siegel theta function | real numbers ⓘ |
| Hardy Z-function | ℝ ⓘ |
| Cauchy sequence | metric space ⓘ |
| Ackermann function | non-negative integers ⓘ |
| Weil cohomology | graded commutative algebra ⓘ |
| Weil cohomology | finite-dimensional graded vector space ⓘ |
| Weil pairing | roots of unity ⓘ |
| Weil pairing | multiplicative group of the base field extension ⓘ |
| Harish-Chandra isomorphism | Weyl group–invariant polynomials on a Cartan subalgebra ⓘ |
| Harish-Chandra character formula | distributions on the group ⓘ |