网站首页  词典首页

请输入您要查询的英文单词:

 

单词 codomain
释义
BETA

Examples ofcodomain

Dictionary> Examples ofcodomain
codomainisn’t in the Cambridge Dictionary yet. You can help!
Add a definition
This means weak pullbacks of arbitrary set-indexed collections of morphisms with a commoncodomain.
From theCambridge English Corpus
It so happens we can give such a relation for a set of labelled terms, in which each application is tagged with thecodomainof the applied function.
From theCambridge English Corpus
If i and k are positions that are either both in the domain or both in thecodomain, i < k refers to the order of natural numbers.
From theCambridge English Corpus
From the point of view of terminology, we have made some choices: point rather than object ; source and target rather than domain andcodomain; and so on.
From theCambridge English Corpus
Together with thecodomain, this uniquely determines the actions of the second process, since a given consistent environment cannot consider a given message equivalent to two different messages.
From theCambridge English Corpus
Note that the notions of adjoint and weakly adjoint functor coincide if thecodomainis a category.
From theCambridge English Corpus
A natural extension is to allow us to take any set as domain orcodomainof a function.
From theCambridge English Corpus
Note dom() = fl() means locations which occur in thecodomainof also occur in its domain.
From theCambridge English Corpus
A substitution is called a constructor term substitution if itscodomaincontains only constructor terms.
From theCambridge English Corpus
By convention, functions with given domain andcodomainare total on that domain andcodomain.
From theCambridge English Corpus
Any set of messages, for example, the messages in thecodomainof a substitution, might be reduced via decryption using the notion of analysis.
From theCambridge English Corpus
Therefore, we need a uniform way of building extensions of : 1 2 starting from any extension m: 2 2 of itscodomain.
From theCambridge English Corpus
If it has both endpoints in thecodomainof g, the iterator of its label is that of its leftmost endpoint.
From theCambridge English Corpus
If both end-points are in thecodomainof g, it starts at the endpoint with the odd iterator.
From theCambridge English Corpus
Indeed, as the proof shows, any path lifting morphism whosecodomainis a reachable graph is onto on nodes and edges.
From theCambridge English Corpus
This partial evaluator does not constrain the domain and thecodomainof static (call-by-value) functions.
From theCambridge English Corpus
The left adjoint, corresponding to thecodomainfunctor, is less familiar, but can be spelled out as an exercise.
From theCambridge English Corpus
Under this interpretation the juxtaposition of formulas in the logic will be constrained by the requirement that thecodomainand domain must match.
From theCambridge English Corpus
In this case it is necessary not only to remove the functor itself but also to identify the domain andcodomaincategories.
From theCambridge English Corpus

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.

随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 1:25:50