About: Category theory

Property	Value
rdf:type	skos:Concept
rdfs:label	Category theory
skos:broader	dbpedia:Category:Mathematical_structures
skos:prefLabel	Category theory
is skos:broader of	dbpedia:Category:Functors dbpedia:Category:Monoidal_categories dbpedia:Category:Order_theory dbpedia:Category:Universal_algebra dbpedia:Category:Categorical_logic dbpedia:Category:Category-theoretic_categories dbpedia:Category:Closed_categories dbpedia:Category:Dagger_categories dbpedia:Category:Additive_categories dbpedia:Category:Category_theorists dbpedia:Category:Higher_category_theory dbpedia:Category:Homological_algebra dbpedia:Category:Duality_theories dbpedia:Category:Free_algebraic_structures dbpedia:Category:Limits_in_categories dbpedia:Category:Morphisms dbpedia:Category:Objects_(category_theory) dbpedia:Category:Sheaf_theory dbpedia:Category:Topos_theory
is skos:subject of	dbpedia:Embedding dbpedia:Fibration dbpedia:Comma_category dbpedia:Commutative_diagram dbpedia:Algebraic_stack dbpedia:Bundle_(mathematics) dbpedia:Eckmann–Hilton_argument dbpedia:Equivalence_of_categories dbpedia:Localization_of_a_category dbpedia:Section_(category_theory) dbpedia:Sketch_(mathematics) dbpedia:Chu_space dbpedia:Combinatory_categorial_grammar dbpedia:Cotangent_complex dbpedia:Dialectica_space dbpedia:Distributive_category dbpedia:F-algebra dbpedia:Generator_(category_theory) dbpedia:Glossary_of_category_theory dbpedia:Graded_category dbpedia:Hylomorphism_(computer_science) dbpedia:Image_(category_theory) dbpedia:Induced_homomorphism dbpedia:Krull–Schmidt_category dbpedia:Category_theory dbpedia:Kan_extension dbpedia:Model_category dbpedia:Seifert–van_Kampen_theorem dbpedia:Simplicial_set dbpedia:Skeleton_(category_theory) dbpedia:Universal_property dbpedia:Auto_magma_object dbpedia:Cone_(category_theory) dbpedia:Descent_(category_theory) dbpedia:Sieve_(category_theory) dbpedia:Categorical_set_theory dbpedia:Categorification dbpedia:Centre_(category) dbpedia:Concrete_category dbpedia:Discrete_category dbpedia:Element_(category_theory) dbpedia:Enriched_category dbpedia:Esquisse_d'un_Programme dbpedia:Factorization_system dbpedia:Fibred_category dbpedia:Multicategory dbpedia:Nerve_(category_theory) dbpedia:Monoid dbpedia:Grothendieck's_relative_point_of_view dbpedia:Grothendieck_universe dbpedia:Injective_object dbpedia:Abstract_nonsense dbpedia:Allegory_(category_theory) dbpedia:Kernel_(category_theory) dbpedia:Lift_(mathematics) dbpedia:Categories_for_the_Working_Mathematician dbpedia:Connected_category dbpedia:Endomorphism_ring dbpedia:F-coalgebra dbpedia:Grothendieck's_Galois_theory dbpedia:Grothendieck_construction dbpedia:Isomorphism-closed_subcategory dbpedia:Operad_theory dbpedia:Outline_of_category_theory dbpedia:Isomorphism dbpedia:Morphism dbpedia:Groupoid dbpedia:Category_(mathematics) dbpedia:Quiver_(mathematics) dbpedia:Yoneda_lemma dbpedia:Anamorphism dbpedia:Antiset dbpedia:Regular_category dbpedia:Stack_(descent_theory) dbpedia:Catamorphism dbpedia:Categorial_grammar dbpedia:Categorical_algebra dbpedia:Category_of_elements dbpedia:Coimage dbpedia:Cokernel dbpedia:Dual_(category_theory) dbpedia:Filtered_category dbpedia:Higher-dimensional_algebra dbpedia:Information_geometry dbpedia:Initial_algebra dbpedia:Injective_cogenerator dbpedia:Karoubi_envelope dbpedia:Krohn–Rhodes_theory dbpedia:Quantaloid dbpedia:Quotient_category dbpedia:Semiautomaton dbpedia:Simplicial_category dbpedia:Subcategory dbpedia:Subquotient dbpedia:Opposite_category dbpedia:Projective_cover dbpedia:Small_set_(category_theory) dbpedia:Timeline_of_category_theory_and_related_mathematics dbpedia:Pointless_topology dbpedia:Structure_(category_theory) dbpedia:Subdivided_interval_categories dbpedia:Pulation_square dbpedia:Setoid dbpedia:Waldhausen_category