| 单词 | monoidal |
| 释义 | BETA Examples ofmonoidalDictionary> Examples ofmonoidal monoidalisn’t in the Cambridge Dictionary yet. You can help! Add a definition Another possibility might be to extend our investigation to non-strictmonoidalstructures. From theCambridge English Corpus Of course, the same holds for any other symmetric strictmonoidalcategory. From theCambridge English Corpus So we must complete and with suitable values to obtain satisfactorymonoidalproduct and lattice meet operators. From theCambridge English Corpus In doing so, semantics reformulates in its own language (cartesian ormonoidalclosed categories) problems traditionally seen as syntactical, such as abstract machines and complexity. From theCambridge English Corpus So there should be a gain in finding for the calculus mentioned above a new, self-contained, completeness proof with respect to symmetricmonoidalclosed isomorphisms. From theCambridge English Corpus However, this is not the case: there are net morphisms that cannot be extended to symmetricmonoidalfunctors between the respective categories of processes. From theCambridge English Corpus For simplicity, we assume that themonoidalstructure is strictly associative and unitary. From theCambridge English Corpus A model is a single category with: amonoidalbiclosed structure; a symmetricmonoidalclosed structure; a cartesian closed structure. From theCambridge English Corpus Moreover, the axiomatization of symmetricmonoidaland cartesian double categories seems to characterize precisely concurrent tile computations. From theCambridge English Corpus An important point to note is that we always assume that themonoidalcategory structure is strict. From theCambridge English Corpus Most of the definition is a routine generalisation of that ofmonoidalfunctor. From theCambridge English Corpus For readability, and without loss of generality, we consider strictmonoidalcategories. From theCambridge English Corpus The key to the proof is the following observation aboutmonoidalcategories. From theCambridge English Corpus However, their formalism demands the presence of considerably more structure, which includes the requirement of beingmonoidalclosed (actually -autonomous). From theCambridge English Corpus Likewise, for the symmetricmonoidalcase we have an alternative (intuitive) characterization for the auxiliary tiles of cartesian double categories. 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条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。