单词 | codomain |
释义 | BETA Examples ofcodomainDictionary> 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条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。