Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International