About: Categorification

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

Process of replacing set-theoretic theorems by category-theoretic analogues

Property	Value
dbo:description	a halmazelméleti tételek lecserélése kategóriaelméleti analógiáikra (hu) process of replacing set-theoretic theorems by category-theoretic analogues (en)
dbo:wikiPageExternalLink	https://golem.ph.utexas.edu/category/2008/10/what_is_categorification.html. http://www.numdam.org/item/CTGDC_1998__39_1_3_0
dbo:wikiPageWikiLink	dbr:Ring_of_symmetric_functions dbr:Category_theory dbr:Coproduct dbr:Grothendieck_group dbr:Morphism dbc:Category_theory dbc:Algebraic_topology dbr:Function_(mathematics) dbr:Number_theory dbr:Set_theory dbr:Set_(mathematics) dbr:Topology dbr:Abelian_category dbr:Rank_of_a_group dbr:Ring_(mathematics) dbr:Betti_number dbr:Character_(mathematics) dbr:Homology_theory dbr:Mathematics dbr:Cahiers_de_Topologie_et_Géométrie_Différentielle_Catégoriques dbr:Sheafification dbr:Emmy_Noether dbr:Equation dbr:Representation_theory dbr:Module_(mathematics) dbr:Equality_(mathematics) dbr:Lie_algebra dbr:Functor dbr:Knot_invariant dbr:Specht_module dbr:Theorem dbr:Symmetric_group dbr:Knot_theory dbr:Generalization dbr:Product_(category_theory) dbr:Free_abelian_group dbr:Natural_transformation dbr:Natural_number dbr:Combinatorial_proof dbr:Higher_category_theory dbr:Khovanov_homology dbr:Littlewood–Richardson_rule dbr:Finite_group_theory dbr:Categorical_ring dbr:Higher-dimensional_algebra dbr:Schur_class dbr:Category_(category_theory) dbr:Category_of_finite_sets dbr:Louis_Crane dbr:Symmetric_functions dbr:Module_over_a_ring
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Sfn dbt:Citation dbt:Refend dbt:Refbegin dbt:Category_theory dbt:Short_description
dct:subject	dbc:Category_theory dbc:Algebraic_topology
gold:hypernym	dbr:Process
rdfs:label	Categorification (en) Categorificación (es)
owl:sameAs	freebase:Categorification wikidata:Categorification dbpedia-es:Categorification dbpedia-global:Categorification dbr:Categorification
prov:wasDerivedFrom	wikipedia-en:Categorification?oldid=1261183536&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Categorification
is dbo:knownFor of	dbr:Mikhail_Khovanov dbr:Sergei_Gukov
is dbo:notableIdea of	dbr:David_Corfield
is dbo:wikiPageRedirects of	dbr:Decategorification
is dbo:wikiPageWikiLink of	dbr:Monoidal_category dbr:Bijective_proof dbr:Chromatic_polynomial dbr:Timeline_of_category_theory_and_related_mathematics dbr:Floer_homology dbr:Quantum_logic dbr:Morse_homology dbr:Day_convolution dbr:Knot_invariant dbr:Glossary_of_areas_of_mathematics dbr:Mikhail_Khovanov dbr:David_Corfield dbr:Combinatorial_proof dbr:Higher_category_theory dbr:Posetal_category dbr:Khovanov_homology dbr:2-ring dbr:Ivan_Losev_(mathematician) dbr:R-algebroid dbr:Sergei_Gukov dbr:Glossary_of_category_theory dbr:H-object dbr:Vittoria_Bussi dbr:K-theory_of_a_category dbr:Higher-dimensional_algebra dbr:Tensor_product_(disambiguation) dbr:Decategorification
is dbp:knownFor of	dbr:Mikhail_Khovanov
is rdfs:seeAlso of	dbr:Gluing_axiom
is foaf:primaryTopic of	wikipedia-en:Categorification