About: Category (mathematics)

Property	Value
dbo:description	wiskunde (nl) estructura algebraica (es) matematikai fogalom (hu) matematiskt begrepp (sv) ریاضی (fa) algebraická štruktúra; základný pojem teórie kategórií (sk) абстрактная структура в математике, основной объект изучения теории категорий (ru) ŉ algebraïese struktuur wat uit objekte en die afbeeldings tussen hierdie objekte bestaan (af) algebraická struktura; základní pojem teorie kategorií (cs) Grundbegriff der mathematischen Kategorientheorie (de) מבנה אלגברי אבסטרקטי בתחום המתמטיקה (iw) cebir kavramı (tr) estructura matemàtica de la teoria de categories (ca) estrutura em matemática (pt) grundlæggende begreb for matematisk kategoriteori (da) kumpulan \objek\ yang dihubungkan oleh \panah\ (in) pojęcie matematyczne (pl) structure algébrique (fr) structură algebrică (ro) struktura u matematici (sr) структура во математиката (mk) matematika strukturo de objektoj kaj morfioj inter objektoj (eo) matemaattinen rakenne, joka koostuu objekteista ja morfismeista (fi) algebraic structure of objects and morphisms between objects, which can be associatively composed if the (co)domains agree (en) 代數結構 (yue) 数学的構造を取り扱うための枠組み (ja) 수학적 구조 (ko)
dbo:thumbnail	wiki-commons:Special:FilePath/Category_SVG.svg?width=300
dbo:wikiPageExternalLink	http://katmat.math.uni-bremen.de/acc/acc.pdf https://archive.org/details/categoriestypess00aspe_0%7C http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html http://plato.stanford.edu/entries/category-theory/
dbo:wikiPageWikiLink	dbr:Bilinear_form dbr:Preadditive_category dbr:Category_theory dbr:Class_(set_theory) dbr:Proper_class dbr:Magma_(algebra) dbr:Coproduct dbr:Endomorphism dbr:Epimorphism dbr:Concrete_category dbr:Bimorphism dbr:Category_of_abelian_groups dbr:Module_homomorphism dbr:Monomorphism dbr:Morphism dbc:Category_theory dbr:Function_composition dbr:Mathematical_object dbr:Uniformly_continuous_function dbr:Cartesian_closed_category dbr:Category_of_groups dbr:Function_(mathematics) dbr:Set_theory dbr:Set_(mathematics) dbr:Vector_space dbr:Metric_space dbr:Binary_operation dbr:Abelian_category dbr:Closure_(mathematics) dbr:Identity_function dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Identity_(mathematics) dbr:Group_homomorphism dbr:Topos dbr:Uniform_space dbr:Automorphism dbr:Scott_continuity dbr:Preorder dbr:Fiber_bundle dbr:Category_of_sets dbr:Enriched_category dbr:Mathematics dbr:Directed_graph dbr:Monotonic_function dbr:Ordinal_number dbr:Equivalence_of_categories dbr:Free_category dbr:Commutative_diagram dbr:Reflexive_relation dbr:Limit_(category_theory) dbr:Groupoid dbr:Ring_homomorphism dbr:Vertex_(graph_theory) dbr:Categories_for_the_Working_Mathematician dbr:Category_of_manifolds dbr:Category_of_metric_spaces dbr:Category_of_modules dbr:Category_of_preordered_sets dbr:Category_of_relations dbr:Category_of_small_categories dbr:Isomorphism dbr:Topological_space dbr:Module_(mathematics) dbr:Binary_relation dbr:Equivalence_relation dbr:Field_(mathematics) dbr:Identity_element dbr:Linear_map dbr:Algebraic_structure dbr:Monoid dbr:Category_of_rings dbr:Fundamental_group dbr:Functor dbr:Category_of_topological_spaces dbr:Kernel_(category_theory) dbr:Transitive_relation dbr:Saunders_Mac_Lane dbr:Partially_ordered_set dbr:Continuous_function_(topology) dbr:Abelian_group dbr:Loop_(graph_theory) dbr:Product_(category_theory) dbr:Cokernel dbr:Additive_category dbr:Opposite_category dbr:GNU_Free_Documentation_License dbr:Total_order dbr:Antisymmetric_relation dbr:Stanford_Encyclopedia_of_Philosophy dbr:Bundle_map dbr:Higher_category_theory dbr:Discrete_category dbr:Smooth_manifold dbr:Complete_partial_order dbr:Complete_category dbr:Associativity dbr:Quantaloid dbr:Section_(category_theory) dbr:Relation_(mathematics) dbr:Group_action_(mathematics) dbr:Fundamental_groupoid dbr:Allegory_(category_theory) dbr:K-Vect dbr:N-tuple dbr:Semantics_of_programming_languages dbr:Monoids dbr:Generating_set dbr:Short_map dbr:Continuous_map dbr:Continuously_differentiable dbr:Category_of_monoids dbr:File:Category_SVG.svg dbr:File:Directed.svg dbr:Full_subcategory dbr:Category_of_uniform_spaces dbr:Associative dbr:Magma_category dbr:Retract_(category_theory) dbr:Table_of_mathematical_symbols
dbp:id	p/c020740 (en)
dbp:title	Category (en)
dbp:wikiPageUsesTemplate	dbt:Nlab dbt:Portal dbt:Authority_control dbt:Reflist dbt:Group-like_structures dbt:Citation dbt:Refend dbt:Other_uses dbt:Refbegin dbt:Category_theory dbt:Springer dbt:Short_description
dct:subject	dbc:Category_theory dbc:Algebraic_structures
gold:hypernym	dbr:Structure
rdf:type	owl:Thing owl:Thing
rdfs:label	Category (mathematics) (en) فئة (رياضيات) (ar) Categoria (matemàtiques) (ca) Categoría (matemáticas) (es) Kategorio (matematiko) (eo) Kategori (matematika) (in) 圏 (数学) (ja) 범주 (수학) (ko) Categorie (wiskunde) (nl) Kategoria (matematyka) (pl) Категория (математика) (ru) Categoria (teoria das categorias) (pt) Kategori (matematik) (sv) Категорія (математика) (uk) 範疇 (數學) (zh)
owl:sameAs	freebase:Category (mathematics) yago-res:Category (mathematics) wikidata:Category (mathematics) dbpedia-nl:Category (mathematics) dbpedia-zh:Category (mathematics) dbpedia-ja:Category (mathematics) dbpedia-pt:Category (mathematics) dbpedia-he:Category (mathematics) dbpedia-ro:Category (mathematics) dbpedia-es:Category (mathematics) dbpedia-hu:Category (mathematics) dbpedia-fa:Category (mathematics) dbpedia-ru:Category (mathematics) dbpedia-sv:Category (mathematics) dbpedia-pl:Category (mathematics) dbpedia-ko:Category (mathematics) dbpedia-id:Category (mathematics) dbpedia-et:Category (mathematics) dbpedia-ca:Category (mathematics) http://d-nb.info/gnd/4129930-9 dbpedia-af:Category (mathematics) dbpedia-ar:Category (mathematics) dbpedia-bg:Category (mathematics) dbpedia-eo:Category (mathematics) dbpedia-fi:Category (mathematics) dbpedia-gl:Category (mathematics) dbpedia-hy:Category (mathematics) dbpedia-nn:Category (mathematics) dbpedia-no:Category (mathematics) dbpedia-sl:Category (mathematics) dbpedia-sr:Category (mathematics) dbpedia-uk:Category (mathematics) dbpedia-global:Category (mathematics) dbr:Category (mathematics)
prov:wasDerivedFrom	wikipedia-en:Category_(mathematics)?oldid=1281332646&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Directed.svg wiki-commons:Special:FilePath/Category_SVG.svg
foaf:isPrimaryTopicOf	wikipedia-en:Category_(mathematics)
is dbo:wikiPageDisambiguates of	dbr:Category
is dbo:wikiPageRedirects of	dbr:Small_category dbr:Large_category dbr:Abstract_category dbr:Mathematical_objekt dbr:Category_(category_theory) dbr:Category_(math) dbr:Category_(maths) dbr:Locally_small dbr:Locally_small_category dbr:Object_(category_theory)
is dbo:wikiPageWikiLink of	dbr:Algebraic_group dbr:Chain_complex dbr:Cotangent_bundle dbr:Homology_(mathematics) dbr:Preadditive_category dbr:Projective_object dbr:Cobordism dbr:Subobject dbr:Noncommutative_topology dbr:Categorical_quotient dbr:Ribbon_category dbr:Ring_of_symmetric_functions dbr:Simplicial_commutative_ring dbr:Langlands_dual_group dbr:Anamorphism dbr:Catamorphism dbr:Cantor_set dbr:Banach–Alaoglu_theorem dbr:Subcategory dbr:Automata_theory dbr:Category_theory dbr:Class_(set_theory) dbr:Σ-algebra dbr:Clifford_algebra dbr:Free_monoid dbr:Magma_(algebra) dbr:Coproduct dbr:Endomorphism dbr:Epimorphism dbr:Finitely_generated_module dbr:Small_category dbr:Topological_quantum_field_theory dbr:Group_object dbr:Monad_(category_theory) dbr:Monad_(functional_programming) dbr:Grothendieck_group dbr:Direct_sum dbr:Kleisli_category dbr:Cone_(category_theory) dbr:Finitely_generated_algebra dbr:Geometric_topology dbr:Monoidal_category dbr:Morphism dbr:Opposite_ring dbr:Function_composition dbr:Mathematical_object dbr:Peano_axioms dbr:Presheaf_(category_theory) dbr:Sheaf_(mathematics) dbr:Variety_(universal_algebra) dbr:Lie_algebra_representation dbr:Rational_mapping dbr:Bundle_(mathematics) dbr:Group_representation dbr:Symmetric_algebra dbr:Symplectomorphism dbr:Isomorphism_theorems dbr:Cartesian_closed_category dbr:Kan_extension dbr:Smash_product dbr:Tensor_algebra dbr:Composition_of_relations dbr:Uniform_isomorphism dbr:Endomorphism_ring dbr:Fraïssé_limit dbr:Function_(mathematics) dbr:String_theory dbr:Vector_space dbr:Metric_space dbr:Graded_vector_space dbr:Karoubi_envelope dbr:Graph_(topology) dbr:Stone_functor dbr:Super_vector_space dbr:Supermodule dbr:Surgery_exact_sequence dbr:Surgery_structure_set dbr:Parafactorial_local_ring dbr:Vopěnka's_principle dbr:Abelian_category dbr:Closure_(topology) dbr:Abstract_algebra dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Representable_functor dbr:Algebraic_number_theory dbr:Homomorphism dbr:Propositional_calculus dbr:Anatoly_Maltsev dbr:Zero_element dbr:Quiver_(mathematics) dbr:Euler_characteristic dbr:False_color dbr:Alexander_horned_sphere dbr:F-algebra dbr:Characteristic_class dbr:Full_and_faithful_functors dbr:List_of_topologies_on_the_category_of_schemes dbr:Symplectic_category dbr:Topos dbr:Group_theory dbr:Path_(topology) dbr:Principal_bundle dbr:Heyting_algebra dbr:Hochschild_homology dbr:Homotopy_group dbr:Injective_object dbr:Tensor_product dbr:Injective_module dbr:Metric_map dbr:Modular_elliptic_curve dbr:Complete_lattice dbr:Multigraph dbr:Combinatorial_species dbr:Esakia_duality dbr:Esakia_space dbr:Essential_dimension dbr:Formal_group_law dbr:Frobenioid dbr:Fukaya_category dbr:Classification_of_manifolds dbr:Differential_(mathematics) dbr:Diagonalizable_group dbr:Difference_algebra dbr:Differential_calculus_over_commutative_algebras dbr:Differential_graded_category dbr:Diffiety dbr:K-homology dbr:KK-theory dbr:Partially_ordered_ring dbr:Max_Kelly dbr:Linear_algebraic_group dbr:Occurrences_of_Grandi's_series dbr:Timeline_of_category_theory_and_related_mathematics dbr:Simplex dbr:Uniform_space dbr:Automorphism dbr:Pointed_space dbr:Preorder dbr:Universal_property dbr:Fiber_bundle dbr:Regular_category dbr:Category_of_sets dbr:Superalgebra dbr:Cartesian_product_of_graphs dbr:Free_product_of_associative_algebras dbr:Product_of_rings dbr:Enriched_category dbr:Wiles's_proof_of_Fermat's_Last_Theorem dbr:0 dbr:1 dbr:Brane dbr:Duality_(mathematics) dbr:Partition_of_unity dbr:Algebraic_topology dbr:Inaccessible_cardinal dbr:Galois_connection dbr:Abstract_nonsense dbr:Borel_set dbr:Domain_theory dbr:Equivalence_of_categories dbr:Witt_vector dbr:Diagonal_functor dbr:Exterior_space dbr:E∞-operad dbr:Free_object dbr:Bicategory dbr:Bijection,_injection_and_surjection dbr:Induced_homomorphism dbr:Initial_algebra dbr:Injective_metric_space dbr:Institution_(computer_science) dbr:Isomorphism-closed_subcategory dbr:General_topology dbr:Lie_group dbr:Lie_group–Lie_algebra_correspondence dbr:Direct_limit dbr:Exact_sequence dbr:Homogeneous_space dbr:Inverse_limit dbr:Limit_(category_theory) dbr:Simple_module dbr:Abuse_of_notation dbr:Motive_(algebraic_geometry) dbr:Operad dbr:Cohomology dbr:Denotational_semantics dbr:Groupoid dbr:Regular_cardinal dbr:Ring_homomorphism dbr:Simplicial_manifold dbr:Irreducibility_(mathematics) dbr:Schur's_lemma dbr:Zero_morphism dbr:Hierarchy_(mathematics) dbr:Semigroupoid dbr:Categorical_logic dbr:Categories_for_the_Working_Mathematician dbr:Category_O dbr:Category_algebra dbr:Category_of_elements dbr:Category_of_finite-dimensional_Hilbert_spaces dbr:Category_of_metric_spaces dbr:Category_of_modules dbr:Category_of_relations dbr:Category_of_small_categories dbr:Cauchy_space dbr:Global_element dbr:Priestley_space dbr:Product_order dbr:Profunctor dbr:Projective_cover dbr:Adhesive_category dbr:Generator_(category_theory) dbr:Symmetric_product_(topology) dbr:Connectedness dbr:Equivariant_map dbr:Isomorphism dbr:Representation_theory dbr:Homological_algebra dbr:Associative_property dbr:Cauchy_sequence dbr:Exterior_algebra dbr:Topological_space dbr:Initial_and_terminal_objects dbr:Structure_(mathematical_logic) dbr:Hypergraph dbr:Measure-preserving_dynamical_system dbr:Converse_relation dbr:Inverse_semigroup dbr:Abstract_simplicial_complex dbr:Accessible_category dbr:Acyclic_model dbr:Mirror_symmetry_(string_theory) dbr:Markov_kernel dbr:Closed_category dbr:Closed_monoidal_category dbr:Coequalizer dbr:Coherence_condition dbr:Cohomotopy_set dbr:Eilenberg–Steenrod_axioms dbr:Lie_algebroid dbr:Lie_groupoid dbr:Tight_span dbr:Tilting_theory dbr:K-graph_C*-algebra dbr:Lax_functor dbr:Differential_graded_module dbr:Fiber_product_of_schemes dbr:6 dbr:Module_(mathematics) dbr:Binary_relation dbr:Equivalence_relation dbr:Distributive_property dbr:Linear_map dbr:Algebraic_structure dbr:Monoid dbr:Power_set dbr:Semigroup dbr:Graded_Lie_algebra dbr:Conceptual_model dbr:Graded_(mathematics) dbr:Large_category dbr:Matrix_(mathematics) dbr:Inverse_element dbr:Concept dbr:Associative_algebra dbr:Category_of_rings dbr:LF-space dbr:Tensor_product_of_algebras dbr:Fundamental_group dbr:Vector_bundle dbr:Ext_functor dbr:Extremally_disconnected_space dbr:Functor dbr:Simplicial_set dbr:Zero_object_(algebra) dbr:Glossary_of_areas_of_mathematics dbr:Opposite_group dbr:Noetherian dbr:Dagger_category dbr:Dagger_symmetric_monoidal_category dbr:Inverse_image_functor dbr:Pointless_topology dbr:Polygraph_(mathematics) dbr:Pseudo-abelian_category dbr:Pseudocircle dbr:Pushforward_(homology) dbr:List_of_incomplete_proofs dbr:Span_(category_theory) dbr:Spectrum_(topology) dbr:Undefined_(mathematics) dbr:Homotopy_theory dbr:Cantor's_theorem dbr:Partially_ordered_set dbr:Category dbr:Surjective_function dbr:Mathematical_structure dbr:Mapping_cylinder dbr:Diagram_(category_theory)
is rdfs:seeAlso of	dbr:LF-space
is foaf:primaryTopic of	wikipedia-en:Category_(mathematics)