Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Cartesian_closed_category> ?p ?o }
- Cartesian_closed_category abstract "In category theory, a category is 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 "10286".
- Cartesian_closed_category wikiPageOutDegree "67".
- Cartesian_closed_category wikiPageRevisionID "671558121".
- Cartesian_closed_category wikiPageWikiLink Abelian_group.
- 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 Associativity.
- Cartesian_closed_category wikiPageWikiLink Bicartesian_closed_category.
- Cartesian_closed_category wikiPageWikiLink Bijection.
- Cartesian_closed_category wikiPageWikiLink Caml.
- Cartesian_closed_category wikiPageWikiLink Cartesian_closed_category.
- Cartesian_closed_category wikiPageWikiLink Categorical_Abstract_Machine_Language.
- 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_Hausdorff_space.
- 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 Continuous_function_(topology).
- Cartesian_closed_category wikiPageWikiLink Coproduct.
- Cartesian_closed_category wikiPageWikiLink Curry-Howard_correspondence.
- Cartesian_closed_category wikiPageWikiLink Currying.
- Cartesian_closed_category wikiPageWikiLink Curry–Howard_correspondence.
- Cartesian_closed_category wikiPageWikiLink Dimension_(vector_space).
- Cartesian_closed_category wikiPageWikiLink Dimension_of_a_vector_space.
- Cartesian_closed_category wikiPageWikiLink Empty_product.
- Cartesian_closed_category wikiPageWikiLink Exponential_object.
- Cartesian_closed_category wikiPageWikiLink Field_(mathematics).
- 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 Hom-set.
- Cartesian_closed_category wikiPageWikiLink If_and_only_if.
- Cartesian_closed_category wikiPageWikiLink Initial_and_terminal_objects.
- Cartesian_closed_category wikiPageWikiLink Initial_object.
- Cartesian_closed_category wikiPageWikiLink Interior_(topology).
- Cartesian_closed_category wikiPageWikiLink Internal_language.
- Cartesian_closed_category wikiPageWikiLink Isomorphic.
- Cartesian_closed_category wikiPageWikiLink Isomorphism.
- Cartesian_closed_category wikiPageWikiLink John_Backus.
- Cartesian_closed_category wikiPageWikiLink Lattice_(order).
- Cartesian_closed_category wikiPageWikiLink Linear_type_system.
- Cartesian_closed_category wikiPageWikiLink Manifold.
- Cartesian_closed_category wikiPageWikiLink Mathematical_logic.
- Cartesian_closed_category wikiPageWikiLink Monoidal_closed_categories.
- 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 Poset.
- Cartesian_closed_category wikiPageWikiLink Product_(category_theory).
- Cartesian_closed_category wikiPageWikiLink Quantum_computation.
- Cartesian_closed_category wikiPageWikiLink Quantum_computing.
- Cartesian_closed_category wikiPageWikiLink Scott_continuity.
- Cartesian_closed_category wikiPageWikiLink Scott_continuous.
- Cartesian_closed_category wikiPageWikiLink Scott_topology.
- Cartesian_closed_category wikiPageWikiLink Set_(mathematics).
- Cartesian_closed_category wikiPageWikiLink Set_theory.
- Cartesian_closed_category wikiPageWikiLink Simply_typed_lambda_calculus.
- Cartesian_closed_category wikiPageWikiLink Small_category.
- Cartesian_closed_category wikiPageWikiLink Substructural_type_system.
- Cartesian_closed_category wikiPageWikiLink Tensor_product.
- Cartesian_closed_category wikiPageWikiLink Terminal_object.
- Cartesian_closed_category wikiPageWikiLink Topological_space.
- Cartesian_closed_category wikiPageWikiLink Topos.
- Cartesian_closed_category wikiPageWikiLink Vector_space.
- 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 hasPhotoCollection Cartesian_closed_category.
- 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.