About: Cartesian closed category

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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