About: Category theory

Property	Value
dbo:wikiPageID	695968 (xsd:integer)
dbo:wikiPageRevisionID	1005583281 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Portal dbt:CatAutoTOC dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Category theory (en)
skos:broader	dbc:Fields_of_abstract_algebra dbc:Functions_and_mappings dbc:Mathematical_structures
skos:prefLabel	Category theory (en)
prov:wasDerivedFrom	wikipedia-en:Category:Category_theory?oldid=1005583281&ns=14
owl:sameAs	dbc:Category_theory
is dbo:wikiPageWikiLink of	dbr:Categorical_set_theory dbr:Categories_for_the_Working_Mathematician dbr:Beck's_monadicity_theorem dbr:Element_(category_theory) dbr:Endomorphism_ring dbr:Enriched_category dbr:Envelope_(category_theory) dbr:Monad_(category_theory) dbr:Mac_Lane_coherence_theorem dbr:Posetal_category dbr:Subcategory dbr:Product_category dbr:Allegory_(mathematics) dbr:Applied_category_theory dbr:Homotopy_colimit_and_limit dbr:Permutation_category dbr:Day_convolution dbr:Descent_(mathematics) dbr:Double_groupoid dbr:Indexed_category dbr:Indiscrete_category dbr:Induced_homomorphism dbr:Induced_homomorphism_(quotient_group) dbr:Initial_algebra dbr:Injective_cogenerator dbr:Inserter_category dbr:Internal_category dbr:R-algebroid dbr:Lift_(mathematics) dbr:Lifting_property dbr:Limit_and_colimit_of_presheaves dbr:Projective_cover dbr:Pseudo-abelian_category dbr:Pseudoalgebra dbr:Timeline_of_category_theory_and_related_mathematics dbr:Weak_factorization_system dbr:Anamorphism dbr:Esquisse_d'un_Programme dbr:Essential_monomorphism dbr:Generator_(category_theory) dbr:Nerve_(category_theory) dbr:Tame_abstract_elementary_class dbr:Pulation_square dbr:Spherical_category dbr:Simplicial_localization dbr:Quantaloid dbr:Quotient_category dbr:Quotient_of_an_abelian_category dbr:Coherence_condition dbr:Coinduction dbr:Fraïssé_limit dbr:Glossary_of_category_theory dbr:Bousfield_localization dbr:Monoid dbr:Concrete_category dbr:Cone_(category_theory) dbr:Conservative_functor dbr:Corecursion dbr:Corestriction dbr:Cosheaf dbr:Cosmos_(category_theory) dbr:Equivalence_of_categories dbr:Operad dbr:Opetope dbr:Opposite_category dbr:Commutative_diagram dbr:Compact_object_(mathematics) dbr:Embedding dbr:Freyd_cover dbr:Hopfian_object dbr:Krohn–Rhodes_theory dbr:Krull–Schmidt_category dbr:Pointless_topology dbr:Polygraph_(mathematics) dbr:Stack_(mathematics) dbr:Bundle_(mathematics) dbr:Distributive_category dbr:Dual_(category_theory) dbr:Fusion_category dbr:Gabriel–Popescu_theorem dbr:Gamma-object dbr:Giraud_subcategory dbr:H-object dbr:K-theory_of_a_category dbr:Karoubi_envelope dbr:Lax_functor dbr:Lax_natural_transformation dbr:Localization_of_a_category dbr:Localizing_subcategory dbr:Multicategory dbr:Semiautomaton dbr:Symplectic_category dbr:Adhesive_category dbr:Duality_theory_for_distributive_lattices dbr:Brown's_representability_theorem dbr:Center_(category_theory) dbr:Chu_space dbr:Diagonal_functor dbr:Dialectica_space dbr:DisCoCat dbr:Globular_set dbr:Graded_category dbr:Isbell_conjugacy dbr:Isomorphism-closed_subcategory dbr:Kan_extension dbr:Quiver_(mathematics) dbr:Refinement_(category_theory) dbr:Higher-dimensional_algebra dbr:Cotangent_complex dbr:Cotriple_homology dbr:Hylomorphism_(computer_science) dbr:Waldhausen_category dbr:AB5_category dbr:Abstract_elementary_class dbr:Abstract_nonsense dbr:Accessible_category dbr:Kernel_(category_theory) dbr:Codensity_monad dbr:Coimage dbr:Cokernel dbr:Eckmann–Hilton_argument dbr:Tower_of_objects dbr:Model_category dbr:Burnside_category dbr:Fiber_functor dbr:Fibred_category dbr:Filtered_category dbr:Grothendieck's_Galois_theory dbr:Grothendieck's_relative_point_of_view dbr:Grothendieck_category dbr:Grothendieck_construction dbr:Grothendieck_universe dbr:Groupoid dbr:Groupoid_object dbr:Injective_object dbr:Cartesian_monoidal_category dbr:Catamorphism dbr:Categorical_quantum_mechanics dbr:Categorical_trace dbr:Categorification dbr:Category_(mathematics) dbr:Category_algebra dbr:Category_of_representations dbr:Category_theory dbr:Section_(category_theory) dbr:Segal_space dbr:Sieve_(category_theory) dbr:Skeleton_(category_theory) dbr:Sketch_(mathematics) dbr:Extensive_category dbr:F-algebra dbr:F-coalgebra dbr:Factorization_system dbr:Image_(category_theory) dbr:List_of_types_of_functions dbr:Segal_category dbr:Pointed_set dbr:Stable_model_category dbr:Subterminal_object dbr:Exact_completion dbr:Finitely_generated_object dbr:Simplicially_enriched_category dbr:Well-pointed_category dbr:Stable_module_category dbr:T-structure dbr:Universal_property dbr:Topological_category dbr:Polyad dbr:Seifert–Van_Kampen_theorem dbr:Semigroupoid dbr:Setoid dbr:Nodal_decomposition dbr:Outline_of_category_theory dbr:Overcategory dbr:Subquotient dbr:Size_functor dbr:Structural_Ramsey_theory
is dcterms:subject of	dbr:Categorical_set_theory dbr:Categories_for_the_Working_Mathematician dbr:Beck's_monadicity_theorem dbr:Element_(category_theory) dbr:Endomorphism_ring dbr:Enriched_category dbr:Envelope_(category_theory) dbr:Monad_(category_theory) dbr:Mac_Lane_coherence_theorem dbr:Posetal_category dbr:Subcategory dbr:Product_category dbr:Allegory_(mathematics) dbr:Applied_category_theory dbr:Homotopy_colimit_and_limit dbr:Permutation_category dbr:Day_convolution dbr:Descent_(mathematics) dbr:Double_groupoid dbr:Indexed_category dbr:Indiscrete_category dbr:Induced_homomorphism dbr:Induced_homomorphism_(quotient_group) dbr:Initial_algebra dbr:Injective_cogenerator dbr:Inserter_category dbr:Internal_category dbr:R-algebroid dbr:Lift_(mathematics) dbr:Lifting_property dbr:Limit_and_colimit_of_presheaves dbr:Projective_cover dbr:Pseudo-abelian_category dbr:Pseudoalgebra dbr:Timeline_of_category_theory_and_related_mathematics dbr:Weak_factorization_system dbr:Anamorphism dbr:Esquisse_d'un_Programme dbr:Essential_monomorphism dbr:Generator_(category_theory) dbr:Nerve_(category_theory) dbr:Tame_abstract_elementary_class dbr:Pulation_square dbr:Spherical_category dbr:Simplicial_localization dbr:Quantaloid dbr:Quotient_category dbr:Quotient_of_an_abelian_category dbr:Coherence_condition dbr:Coinduction dbr:Fraïssé_limit dbr:Glossary_of_category_theory dbr:Bousfield_localization dbr:Monoid dbr:Concrete_category dbr:Cone_(category_theory) dbr:Conservative_functor dbr:Corecursion dbr:Corestriction dbr:Cosheaf dbr:Cosmos_(category_theory) dbr:Equivalence_of_categories dbr:Operad dbr:Opetope dbr:Opposite_category dbr:Commutative_diagram dbr:Compact_object_(mathematics) dbr:Embedding dbr:Freyd_cover dbr:Hopfian_object dbr:Krohn–Rhodes_theory dbr:Krull–Schmidt_category dbr:Pointless_topology dbr:Polygraph_(mathematics) dbr:Stack_(mathematics) dbr:Bundle_(mathematics) dbr:Distributive_category dbr:Dual_(category_theory) dbr:Fusion_category dbr:Gabriel–Popescu_theorem dbr:Gamma-object dbr:Giraud_subcategory dbr:H-object dbr:K-theory_of_a_category dbr:Karoubi_envelope dbr:Lax_functor dbr:Lax_natural_transformation dbr:Localization_of_a_category dbr:Localizing_subcategory dbr:Multicategory dbr:Semiautomaton dbr:Symplectic_category dbr:Adhesive_category dbr:Duality_theory_for_distributive_lattices dbr:Brown's_representability_theorem dbr:Center_(category_theory) dbr:Chu_space dbr:Diagonal_functor dbr:Dialectica_space dbr:DisCoCat dbr:Globular_set dbr:Graded_category dbr:Isbell_conjugacy dbr:Isomorphism-closed_subcategory dbr:Kan_extension dbr:Quiver_(mathematics) dbr:Refinement_(category_theory) dbr:Higher-dimensional_algebra dbr:Cotangent_complex dbr:Cotriple_homology dbr:Hylomorphism_(computer_science) dbr:Waldhausen_category dbr:AB5_category dbr:Abstract_elementary_class dbr:Abstract_nonsense dbr:Accessible_category dbr:Kernel_(category_theory) dbr:Codensity_monad dbr:Coimage dbr:Cokernel dbr:Eckmann–Hilton_argument dbr:Tower_of_objects dbr:Model_category dbr:Burnside_category dbr:Fiber_functor dbr:Fibred_category dbr:Filtered_category dbr:Grothendieck's_Galois_theory dbr:Grothendieck's_relative_point_of_view dbr:Grothendieck_category dbr:Grothendieck_construction dbr:Grothendieck_universe dbr:Groupoid dbr:Groupoid_object dbr:Injective_object dbr:Cartesian_monoidal_category dbr:Catamorphism dbr:Categorical_quantum_mechanics dbr:Categorical_trace dbr:Categorification dbr:Category_(mathematics) dbr:Category_algebra dbr:Category_of_representations dbr:Category_theory dbr:Section_(category_theory) dbr:Segal_space dbr:Sieve_(category_theory) dbr:Skeleton_(category_theory) dbr:Sketch_(mathematics) dbr:Extensive_category dbr:F-algebra dbr:F-coalgebra dbr:Factorization_system dbr:Image_(category_theory) dbr:List_of_types_of_functions dbr:Segal_category dbr:Pointed_set dbr:Stable_model_category dbr:Subterminal_object dbr:Exact_completion dbr:Finitely_generated_object dbr:Simplicially_enriched_category dbr:Well-pointed_category dbr:Stable_module_category dbr:T-structure dbr:Universal_property dbr:Topological_category dbr:Polyad dbr:Seifert–Van_Kampen_theorem dbr:Semigroupoid dbr:Setoid dbr:Nodal_decomposition dbr:Outline_of_category_theory dbr:Overcategory dbr:Subquotient dbr:Size_functor dbr:Structural_Ramsey_theory
is skos:broader of	dbc:Closed_categories dbc:Monoidal_categories dbc:Information_geometry dbc:Duality_theories dbc:Free_algebraic_structures dbc:Objects_(category_theory) dbc:Morphisms dbc:Category_theorists dbc:Functors dbc:Higher_category_theory dbc:Homological_algebra dbc:Additive_categories dbc:Sheaf_theory dbc:Limits_(category_theory) dbc:Categories_in_category_theory dbc:Topos_theory dbc:Categorical_logic dbc:Dagger_categories dbc:Lemmas_in_category_theory