Cartesian closed category
En teoría de categorías, una categoría es cartesiana cerrada si existen en ella un objeto final, todos los productos binarios y un objeto exponencial. Son especialmente importantes importantes en lógica matemática y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es el cálculo lambda simplemente tipado. Las categorías monoidales cerradas son una generalización, y su lenguaje interno es útil para modelar tanto la computación cuántica como la clásica.
Cartesian closed categoryAdjoint functorsApplyAutomata theoryBicartesian closed categoryBoolean algebras canonically definedBunched logicCCCCartesianCartesian-closed categoryCartesian closedCartesian closed categoriesCartesian closednessCartesian monoidal categoryCartesian productCategorical abstract machineCategorical logicCategory (mathematics)Category of setsCategory of small categoriesCategory of topological spacesCategory theoryCauchy spaceChu spaceClosed categoryClosed monoidal categoryComma categoryCompact-open topologyCompactly generated spaceComplete Heyting algebraComplete partial orderConstructive set theoryConvenient vector spaceConvergence spaceCurryingCurry–Howard correspondenceDana ScottDistributive categoryEquivalence of categoriesEval
Link from a Wikipage to another Wikipage
primaryTopic
Cartesian closed category
En teoría de categorías, una categoría es cartesiana cerrada si existen en ella un objeto final, todos los productos binarios y un objeto exponencial. Son especialmente importantes importantes en lógica matemática y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es el cálculo lambda simplemente tipado. Las categorías monoidales cerradas son una generalización, y su lenguaje interno es útil para modelar tanto la computación cuántica como la clásica.
has abstract
En teoría de categorías, una c ...... ión cuántica como la clásica.
@es
Une catégorie cartésienne est, ...... catégorie cartésienne fermée.
@fr
Декартово замкнутая категория ...... типизированного λ-исчисления.
@ru
Декартово замкнуті категорії — ...... елями типізованого λ-числення.
@uk
圏論において、カテゴリーがデカルト閉(デカルトへい、英語: ...... 閉圏の概念はモノイド圏に一般化される(モノイド閉圏を参照)。
@ja
在范畴论中,如果任何积的态射都可通过其某个因子的态射来自然确定,那么称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和程序设计理论中尤为重要。
@zh
범주론에서, 데카르트 닫힌 범주(Descartes닫힌範 ...... 합을 공역으로 갖는 사상으로 치환할 수 있는 범주이다.
@ko
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,017,028,688
Link from a Wikipage to another Wikipage
label
Cartesian closed category
@en
Categoría cartesiana cerrada
@es
Catégorie cartésienne
@fr
Kartesisch abgeschlossene Kategorie
@de
Декартово замкнута категорія
@uk
Декартово замкнутая категория
@ru
デカルト閉圏
@ja
笛卡儿闭范畴
@zh
데카르트 닫힌 범주
@ko
id
cartesian+closed+category
@en
title
Cartesian closed category
@en
wikiPageUsesTemplate
hypernym
comment
En teoría de categorías, una c ...... ión cuántica como la clásica.
@es
Une catégorie cartésienne est, ...... catégorie cartésienne fermée.
@fr
Декартово замкнутая категория ...... у, оперировать с подобъектами.
@ru
Декартово замкнуті категорії — ...... тичній логіці і програмуванні.
@uk
圏論において、カテゴリーがデカルト閉(デカルトへい、英語: ...... 閉圏の概念はモノイド圏に一般化される(モノイド閉圏を参照)。
@ja
在范畴论中,如果任何积的态射都可通过其某个因子的态射来自然确定,那么称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和程序设计理论中尤为重要。
@zh
범주론에서, 데카르트 닫힌 범주(Descartes닫힌範 ...... 합을 공역으로 갖는 사상으로 치환할 수 있는 범주이다.
@ko