In mathematics, a category is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. On the other hand, any monoid can be understood as a special sort of category, and so can any preorder. In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships. This is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, indepe

Property Value
dbo:abstract
  • In mathematics, a category is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. On the other hand, any monoid can be understood as a special sort of category, and so can any preorder. In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships. This is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, independent of what the objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. For more extensive motivational background and historical notes, see category theory and the list of category theory topics. Two categories are the same if they have the same collection of objects, the same collection of arrows, and the same associative method of composing any pair of arrows. Two categories may also be considered "equivalent" for purposes of category theory, even if they are not precisely the same. Well-known categories are denoted by a short capitalized word or abbreviation in bold or italics: examples include Set, the category of sets and set functions; Ring, the category of rings and ring homomorphisms; and Top, the category of topological spaces and continuous maps. All of the preceding categories have the identity map as identity arrow and composition as the associative operation on arrows. The classic and still much used text on category theory is Categories for the Working Mathematician by Saunders Mac Lane. Other references are given in the below. The basic definitions in this article are contained within the first few chapters of any of these books. (en)
  • في الـرياضيات، الـفئة هي بنية جبرية تضم "أشكالاً" تربطها "أسهم". إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاحظات التاريخية الشاملة والدافعة، انظر نظرية الفئات وقائمة بموضوعات نظرية الفئات. تتسم أية فئتين بالتماثل إذا كان بهما نفس مجموعة الأشكال، ونفس مجموعة الأسهم، ونفس الطريقة الترابطية في جمع زوج من الأسهم. ويمكن أيضًا أن تعتبر فئتين "متساويتين" لأغراض نظرية الفئات، حتى وإن لم تكونا متماثلتين بدقة. يُشار إلى الفئات المعروفة بكلمة قصيرة مكتوبة بأحرف كبيرة أو باختصار بخط عريض أو مائل: تشمل الأمثلة مجموعة، وفئة الـمجموعات، ودالات رياضية؛ حلقة، وفئة الـحلقات، والـتشاكلات؛ وفئة الأفضية الطوبولوجية، وفئة الأفضية الطوبولوجية والدالات المستمرة. إن لكلٍ من الفئات السابقة دالة محايدة بصفتها سهم وتركيب بصفتها العملية الترابطية في الأسهم. إن النص القياسي لنظرية الفئات هو الفئات لعلماء الرياضة (Categories for the Working Mathematician) لـسونديرز ماك لين (Saunders Mac Lane). هناك مزيد من المراجع في قسم أدناه. إن أغلب التعريفات الأساسية في هذا المقال موجودة في الفصول الأولى في أي من هذه الكتب.ف (ar)
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. Un ejemplo clásico es la categoría de conjuntos, cuyos objetos son conjuntos y cuyas flechas son las funciones, y donde la composición de flechas es la composición usual de funciones. En general, los objetos y las flechas pueden ser objetos abstractos de cualquier tipo, y la noción de categoría provee de una manera abstracta y fundamental para describir entidades matemáticas y sus relaciones. Esta es la idea central de la teoría de categorías, una rama de las matemáticas que busca generalizar todas las demás teorías matemáticas en términos de objetos y flechas. Prácticamente cualquier rama de las matemáticas modernas se puede describir en términos de categorías, y mediante esta descripción, es común que se revelen propiedades y similitudes muy profundas entre áreas aparentemente distintas. Para notas históricas y fundamentos más profundos véase teoría de categorías. Dos categorías son iguales si tienen la misma colección de objetos, la misma colección de flechas, y la misma forma asociativa de componer flechas. Dos categorías también se pueden considerar equivalentes incluso si no son precisamente la misma. Muchas categorías muy cotidianas se denotan comúnmente con una abreviación del tipo de sus objetos, por ejemplo: Con se refiere a la categoría de conjuntos, Top se refiere a la categoría de espacios topológicos, Ab se refiere a la categoría de grupos abelianos, etc. (es)
  • 数学における圏(けん、category)とは数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。 (ja)
  • Dit artikel slaat op het begrip categorie uit de wiskundige categorietheorie. Voor het topologische begrip met dezelfde naam, zie categorie (topologie). In de categorietheorie, een deelgebied van de wiskunde, is een categorie een klasse van objecten met overeenkomstige structuur, en morfismen tussen die objecten die de overeenkomst tussen de objecten symboliseren. De categorietheorie is een zeer abstracte theorie, die behoort tot de wiskundige logica, en door zijn algemeenheid toegepast kan worden op vele andere wiskundige gebieden, zoals de topologie, de verzamelingenleer, de groepentheorie en de algebra. Een aantal stellingen en definities binnen deze takken van wiskunde blijken slechts in termen van de objecten en afbeeldingen ertussen te kunnen worden uitgedrukt. (nl)
  • A teoria das categorias é um estudo matemático abstrato de estruturas matemáticas e as relações existentes entre elas. Categoria é uma estrutura formada por objetos e morfismos que é estudada em Teoria das categorias. (pt)
  • Kategoria – pojęcie wyodrębniające szereg algebraicznych własności rodzin morfizmów między obiektami matematycznymi tego samego typu (zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp.) pod warunkiem, że te rodziny zawierają odwzorowanie tożsamościowe i są zamknięte względem kolejnego wykonywania superpozycji (lub iloczynu) odwzorowań. Pojęcie kategorii zostało wprowadzone w pracy Eilenberga i Mac Lane. (pl)
  • 在範疇論中,範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上,範疇在現代數學的每個分支之中都會出現,而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 (zh)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 53759 (xsd:integer)
dbo:wikiPageRevisionID
  • 712172494 (xsd:integer)
dbp:id
  • p/c020740
dbp:title
  • Category
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • 数学における圏(けん、category)とは数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。 (ja)
  • Dit artikel slaat op het begrip categorie uit de wiskundige categorietheorie. Voor het topologische begrip met dezelfde naam, zie categorie (topologie). In de categorietheorie, een deelgebied van de wiskunde, is een categorie een klasse van objecten met overeenkomstige structuur, en morfismen tussen die objecten die de overeenkomst tussen de objecten symboliseren. De categorietheorie is een zeer abstracte theorie, die behoort tot de wiskundige logica, en door zijn algemeenheid toegepast kan worden op vele andere wiskundige gebieden, zoals de topologie, de verzamelingenleer, de groepentheorie en de algebra. Een aantal stellingen en definities binnen deze takken van wiskunde blijken slechts in termen van de objecten en afbeeldingen ertussen te kunnen worden uitgedrukt. (nl)
  • A teoria das categorias é um estudo matemático abstrato de estruturas matemáticas e as relações existentes entre elas. Categoria é uma estrutura formada por objetos e morfismos que é estudada em Teoria das categorias. (pt)
  • Kategoria – pojęcie wyodrębniające szereg algebraicznych własności rodzin morfizmów między obiektami matematycznymi tego samego typu (zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp.) pod warunkiem, że te rodziny zawierają odwzorowanie tożsamościowe i są zamknięte względem kolejnego wykonywania superpozycji (lub iloczynu) odwzorowań. Pojęcie kategorii zostało wprowadzone w pracy Eilenberga i Mac Lane. (pl)
  • 在範疇論中,範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上,範疇在現代數學的每個分支之中都會出現,而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 (zh)
  • In mathematics, a category is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. On the other hand, any monoid can be understood as a special sort of category, and so can any preorder. In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships. This is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, indepe (en)
  • في الـرياضيات، الـفئة هي بنية جبرية تضم "أشكالاً" تربطها "أسهم". إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاح (ar)
  • En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición. (es)
rdfs:label
  • Category (mathematics) (en)
  • فئة (رياضيات) (ar)
  • Categoría (matemáticas) (es)
  • 圏 (数学) (ja)
  • Categorie (wiskunde) (nl)
  • Kategoria (matematyka) (pl)
  • Categoria (teoria das categorias) (pt)
  • 範疇 (數學) (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of