Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
cartesian closed
Vertaling van "cartesian closed" in Chinees
笛卡儿闭范畴
笛卡儿闭
笛卡尔闭
In domain theory, the basic idea is to find constructions from partial orders that can model lambda calculus, by creating a well-behaved cartesian closed category.
在域理论中，基本想法是通过建立良好行为的笛卡儿闭范畴，从可建模lambda演算的偏序中找到构造。
A category is called cartesian closed if it has finite direct products and a morphism defined on a finite product can always be represented by a morphism defined on just one of the factors.
一个范畴被称为是笛卡儿闭性 的，如果它具有有限直积，并且一个定义在有限乘积上的态射总是可以表示成定义在其中一个因子上的态射。
A topos is a certain type of cartesian closed category in which all of mathematics can be formulated (just like classically all of mathematics is formulated in the category of sets).
拓扑斯是一种特定的笛卡尔闭范畴；所有数学内容都可以用拓扑斯的语言形式化（正如所有经典数学都可以用集合范畴的语言形式化一般）。
A topos is a certain type of cartesian closed category in which all of mathematics can be formulated (just like classically all of mathematics is formulated in the category of sets).
一个拓扑斯 是一种特殊的笛卡儿闭范畴，在其中可表述（公理化）所有的数学结构（就象传统上使用集合论可以表示所有数学结构 ） 。
For instance, the simply typed lambda calculus corresponds to the internal language of cartesian closed categories.
例如，简单类型λ演算 对应于笛卡儿闭范畴 （CCC）的内部语言。
In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors.
在范畴论 中，如果任何积 的态射 都可通过其某个因子的态射来自然确定 ，那么称该范畴具有笛卡儿闭 性。
C is a cartesian closed category (or a topos) if and only if D is cartesian closed (or a topos).
C 是一个笛卡儿闭范畴（或一个拓扑斯）当且仅当 D 是笛卡儿闭（或拓扑斯）。
The first suggestion (1962) to remedy this situation was to restrict oneself to the full subcategory of compactly generated Hausdorff spaces, which is in fact cartesian closed.
最初的补救尝试（于1962年）是限制到紧生成豪斯多夫空间这一完全子范畴中，而这个子范畴事实上确是笛卡儿闭的。
Typed lambda calculi are closely related to mathematical logic and proof theory via the Curry-Howard isomorphism and they can be considered as the internal language of classes of categories, e.g. the simply typed lambda calculus is the language of Cartesian closed categories (CCCs).
它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴的类的内部语言，比如简单类型lambda演算是笛卡尔闭范畴（CCC）的语言。
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor cartesian closed in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 24 ms.
