About: Cartesian closed category

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of category in category theory

Property	Value
dbo:description	Type of category in category theory (en)
dbo:wikiPageExternalLink	https://golem.ph.utexas.edu/category/2006/08/cartesian_closed_categories_an_1.html
dbo:wikiPageWikiLink	dbr:Empty_product dbr:Heyting_algebra dbr:If_and_only_if dbr:Category_theory dbr:Lattice_(order) dbr:Simplicial_set dbr:Morphism dbr:Computer_science dbr:Function_(mathematics) dbr:Mathematical_logic dbr:Abelian_category dbr:Graph_theory dbr:Set_theory dbr:Finite_set dbr:Functor dbr:Interior_(topology) dbr:Natural_transformation dbr:Algebraic_topology dbr:Product_(category_theory) dbr:Currying dbr:Set_(mathematics) dbr:Bijection dbr:Cartesian_product dbr:Topological_space dbr:Comma_category dbr:Apply dbr:Section_(fiber_bundle) dbr:Local_homeomorphism dbr:Function-level_programming dbr:Group_(mathematics) dbr:John_Backus dbr:Simply_typed_lambda_calculus dbr:Manifold dbr:Open_set dbr:Closed_monoidal_category dbr:Module_(mathematics) dbr:Order_theory dbr:Complete_partial_order dbr:Partial_application dbr:Tarski's_high_school_algebra_problem dbr:Coproduct dbr:Adjoint_functors dbr:Category_(mathematics) dbr:Exponential_object dbr:Topos dbr:Dependent_type dbr:Functor_category dbr:Tensor_product dbc:Lambda_calculus dbc:Closed_categories dbr:Frölicher_space dbr:Zero_object dbr:Tensor-hom_adjunction dbr:Continuous_function_(topology) dbr:Quantum_computation dbr:Small_category dbr:Associativity dbr:Curry–Howard–Lambek_correspondence dbr:Bicartesian_closed_category dbr:Categorical_Abstract_Machine_Language dbr:Categorical_product dbr:Group_action_(mathematics) dbr:Poset dbr:Hom-set dbr:Linear_type_system dbr:Compactly_generated_Hausdorff_space dbr:Monoidal_closed_category dbr:Initial_object dbr:Internal_language dbr:Isomorphic dbr:Scott_continuous dbr:Scott_topology dbr:Object_(category_theory) dbr:Terminal_object
dbp:id	cartesian+closed+category (en)
dbp:title	Cartesian closed category (en)
dbp:wikiPageUsesTemplate	dbt:Nlab dbt:Cite_journal dbt:Cite_web dbt:Hair_space dbt:Math dbt:Refbegin dbt:Refend dbt:Short_description dbt:Tmath dbt:Category_theory
dct:subject	dbc:Lambda_calculus dbc:Closed_categories
gold:hypernym	dbr:Cartesian
rdfs:label	Cartesian closed category (en) Kartesisch abgeschlossene Kategorie (de) Categoría cartesiana cerrada (es) Catégorie cartésienne (fr) デカルト閉圏 (ja) 데카르트 닫힌 범주 (ko) Декартово замкнутая категория (ru) Декартово замкнута категорія (uk) 笛卡儿闭范畴 (zh)
owl:sameAs	freebase:Cartesian closed category yago-res:Cartesian closed category wikidata:Cartesian closed category dbpedia-de:Cartesian closed category dbpedia-es:Cartesian closed category dbpedia-fr:Cartesian closed category dbpedia-ja:Cartesian closed category dbpedia-ru:Cartesian closed category dbpedia-zh:Cartesian closed category dbpedia-ko:Cartesian closed category dbpedia-uk:Cartesian closed category dbpedia-global:Cartesian closed category
prov:wasDerivedFrom	wikipedia-en:Cartesian_closed_category?oldid=1282381085&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Cartesian_closed_category
is dbo:wikiPageDisambiguates of	dbr:CCC dbr:Cartesian
is dbo:wikiPageRedirects of	dbr:Cartesian-closed_category dbr:Cartesian_closed dbr:Cartesian_closed_categories dbr:Cartesian_closedness dbr:Locally_cartesian_closed_category dbr:Bicartesian_closed_category
is dbo:wikiPageWikiLink of	dbr:Cartesian-closed_category dbr:Cartesian_closed dbr:Cartesian_closed_categories dbr:Cartesian_closedness dbr:Medial_magma dbr:Eval dbr:Categorical_logic dbr:Category_of_small_categories dbr:Categorical_abstract_machine dbr:Category_theory dbr:Simplicial_set dbr:Monoidal_category dbr:Function_space dbr:Compact-open_topology dbr:Monad_(functional_programming) dbr:Convenient_vector_space dbr:First-class_function dbr:Type_theory dbr:Automata_theory dbr:Dana_Scott dbr:Scott_continuity dbr:Proof_theory dbr:No-cloning_theorem dbr:Reproducing_kernel_Hilbert_space dbr:Product_(mathematics) dbr:Hom_functor dbr:Currying dbr:Cartesian_product dbr:CCC dbr:Universal_property dbr:Apply dbr:Fence_(mathematics) dbr:Typed_lambda_calculus dbr:Sequential_space dbr:Lambda_calculus dbr:New_Foundations dbr:Power_set dbr:Natural_numbers_object dbr:Chu_space dbr:Closed_category dbr:Closed_monoidal_category dbr:Graph_homomorphism dbr:No-deleting_theorem dbr:Category_of_topological_spaces dbr:Cartesian dbr:Compactly_generated_space dbr:Complete_partial_order dbr:Adjoint_functors dbr:Category_(mathematics) dbr:Exponential_object dbr:Glossary_of_category_theory dbr:Topos dbr:Equivalence_of_categories dbr:Functor_category dbr:Category_of_sets dbr:List_of_functional_programming_topics dbr:Diffeology dbr:Boolean_algebras_canonically_defined dbr:SETC dbr:Exact_completion dbr:List_of_things_named_after_René_Descartes dbr:Timeline_of_category_theory_and_related_mathematics dbr:Distributive_category dbr:Strict_initial_object dbr:Function_type dbr:Cartesian_monoidal_category dbr:Locally_cartesian_closed_category dbr:Posetal_category dbr:Profunctor dbr:Category_of_compactly_generated_weak_Hausdorff_spaces dbr:Bicartesian_closed_category
is foaf:primaryTopic of	wikipedia-en:Cartesian_closed_category