Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Cartesian_closed_category> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Cartesian_closed_category abstract "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. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation.".
- Cartesian_closed_category wikiPageID "237037".
- Cartesian_closed_category wikiPageLength "10400".
- Cartesian_closed_category wikiPageOutDegree "66".
- Cartesian_closed_category wikiPageRevisionID "703951344".
- Cartesian_closed_category wikiPageWikiLink Abelian_category.
- Cartesian_closed_category wikiPageWikiLink Adjoint_functors.
- Cartesian_closed_category wikiPageWikiLink Algebraic_topology.
- Cartesian_closed_category wikiPageWikiLink Apply.
- Cartesian_closed_category wikiPageWikiLink Associative_property.
- Cartesian_closed_category wikiPageWikiLink Bijection.
- Cartesian_closed_category wikiPageWikiLink Caml.
- Cartesian_closed_category wikiPageWikiLink Cartesian_closed_category.
- Cartesian_closed_category wikiPageWikiLink Categorical_logic.
- Cartesian_closed_category wikiPageWikiLink Category:Closed_categories.
- Cartesian_closed_category wikiPageWikiLink Category:Lambda_calculus.
- Cartesian_closed_category wikiPageWikiLink Category_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Category_theory.
- Cartesian_closed_category wikiPageWikiLink Closed_monoidal_category.
- Cartesian_closed_category wikiPageWikiLink Comma_category.
- Cartesian_closed_category wikiPageWikiLink Compactly_generated_space.
- Cartesian_closed_category wikiPageWikiLink Complete_partial_order.
- Cartesian_closed_category wikiPageWikiLink Computer_science.
- Cartesian_closed_category wikiPageWikiLink Continuous_function.
- Cartesian_closed_category wikiPageWikiLink Coproduct.
- Cartesian_closed_category wikiPageWikiLink Currying.
- Cartesian_closed_category wikiPageWikiLink Curry–Howard_correspondence.
- Cartesian_closed_category wikiPageWikiLink Empty_product.
- Cartesian_closed_category wikiPageWikiLink Exponential_object.
- Cartesian_closed_category wikiPageWikiLink Finite_set.
- Cartesian_closed_category wikiPageWikiLink Frölicher_space.
- Cartesian_closed_category wikiPageWikiLink Function-level_programming.
- Cartesian_closed_category wikiPageWikiLink Function_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Functor.
- Cartesian_closed_category wikiPageWikiLink Functor_category.
- Cartesian_closed_category wikiPageWikiLink Graph_theory.
- Cartesian_closed_category wikiPageWikiLink Group_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Group_action.
- Cartesian_closed_category wikiPageWikiLink Heyting_algebra.
- Cartesian_closed_category wikiPageWikiLink If_and_only_if.
- Cartesian_closed_category wikiPageWikiLink Initial_and_terminal_objects.
- Cartesian_closed_category wikiPageWikiLink Interior_(topology).
- Cartesian_closed_category wikiPageWikiLink Isomorphism.
- Cartesian_closed_category wikiPageWikiLink John_Backus.
- Cartesian_closed_category wikiPageWikiLink Lattice_(order).
- Cartesian_closed_category wikiPageWikiLink Manifold.
- Cartesian_closed_category wikiPageWikiLink Mathematical_logic.
- Cartesian_closed_category wikiPageWikiLink Module_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Morphism.
- Cartesian_closed_category wikiPageWikiLink Natural_transformation.
- Cartesian_closed_category wikiPageWikiLink Open_set.
- Cartesian_closed_category wikiPageWikiLink Order_theory.
- Cartesian_closed_category wikiPageWikiLink Partially_ordered_set.
- Cartesian_closed_category wikiPageWikiLink Product_(category_theory).
- Cartesian_closed_category wikiPageWikiLink Quantum_computing.
- Cartesian_closed_category wikiPageWikiLink Scott_continuity.
- Cartesian_closed_category wikiPageWikiLink Set_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Set_theory.
- Cartesian_closed_category wikiPageWikiLink Simply_typed_lambda_calculus.
- Cartesian_closed_category wikiPageWikiLink Substructural_type_system.
- Cartesian_closed_category wikiPageWikiLink Tensor-hom_adjunction.
- Cartesian_closed_category wikiPageWikiLink Tensor_product.
- Cartesian_closed_category wikiPageWikiLink Topological_space.
- Cartesian_closed_category wikiPageWikiLink Topos.
- Cartesian_closed_category wikiPageWikiLinkText "Cartesian closed categories".
- Cartesian_closed_category wikiPageWikiLinkText "Cartesian closed category".
- Cartesian_closed_category wikiPageWikiLinkText "Cartesian closed".
- Cartesian_closed_category wikiPageWikiLinkText "Cartesian product".
- Cartesian_closed_category wikiPageWikiLinkText "cartesian closed categories".
- Cartesian_closed_category wikiPageWikiLinkText "cartesian closed category".
- Cartesian_closed_category wikiPageWikiLinkText "cartesian closed".
- Cartesian_closed_category wikiPageWikiLinkText "cartesian closure".
- Cartesian_closed_category wikiPageWikiLinkText "category with a Cartesian product".
- Cartesian_closed_category id "cartesian+closed+category".
- Cartesian_closed_category title "Cartesian closed category".
- Cartesian_closed_category wikiPageUsesTemplate Template:Nlab.
- Cartesian_closed_category subject Category:Closed_categories.
- Cartesian_closed_category subject Category:Lambda_calculus.
- Cartesian_closed_category hypernym Cartesian.
- Cartesian_closed_category type Model.
- Cartesian_closed_category type Model.
- Cartesian_closed_category comment "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. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus.".
- Cartesian_closed_category label "Cartesian closed category".
- Cartesian_closed_category sameAs Q1725874.
- Cartesian_closed_category sameAs Kartesisch_abgeschlossene_Kategorie.
- Cartesian_closed_category sameAs Catégorie_cartésienne.
- Cartesian_closed_category sameAs デカルト閉圏.
- Cartesian_closed_category sameAs 데카르트_닫힌_범주.
- Cartesian_closed_category sameAs m.01jf05.
- Cartesian_closed_category sameAs Декартово_замкнутая_категория.
- Cartesian_closed_category sameAs Q1725874.
- Cartesian_closed_category sameAs 笛卡儿闭范畴.
- Cartesian_closed_category wasDerivedFrom Cartesian_closed_category?oldid=703951344.
- Cartesian_closed_category isPrimaryTopicOf Cartesian_closed_category.