Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Category theory has practical applications in programming language theory, in particular for the study of monads in functional programming.

Property Value
dbo:abstract
  • Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Several terms used in category theory, including the term "morphism", are used differently from their uses in the rest of mathematics. In category theory, morphisms obey conditions specific to category theory itself. Samuel Eilenberg and Saunders Mac Lane introduced the concepts of categories, functors, and natural transformations in 1942–45 in their study of algebraic topology, with the goal of understanding the processes that preserve mathematical structure. Category theory has practical applications in programming language theory, in particular for the study of monads in functional programming. (en)
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) في الرياضيات، تتناول نظرية الأصناف (بالإنجليزية: Category Theory) البنى الرياضية المختلفة بطريقة مجردة لتدرس خصائصها الأساسية والعلاقات المتبادلة فيما بينها وهي شديدة الصلة مع الطوبولوجيا الجبرية خصوصا في بداية نشأتها عندما تأسست من قبل صموئيل ايلينبيرغ Samuel Eilenberg وسوندرز ماكلين في 1945. تظهر التصانيف في جميع فروع الرياضيات وبعض فروع المعلوماتية النظرية والفيزياء الرياضية. (ar)
  • Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelt wurde; Saunders MacLane nennt seine 1945 in Zusammenarbeit mit Samuel Eilenberg entstandene „General Theory of Natural Equivalences“ (in Trans. Amer. Math. Soc. 58, 1945) die erste explizit kategorientheoretische Arbeit. Die Grundbegriffe dieser Theorie sind Kategorie, Funktor und natürliche Transformation. Um den letzteren Begriff zu präzisieren, wurden die ersten beiden ursprünglich eingeführt. Die Kategorientheorie lässt sich, ähnlich wie die universelle Algebra, als allgemeine Theorie mathematischer Strukturen auffassen (klassische Strukturen sind z. B. Gruppen, Ringe, Moduln und topologische Räume). Dabei werden Eigenschaften mathematischer Strukturen allerdings nicht über Relationen zwischen Elementen der Trägermenge(n) definiert, sondern mittels Morphismen und Funktoren quasi über Vergleiche sowohl innerhalb von als auch zwischen Kategorien. (de)
  • La théorie des catégories étudie les structures mathématiques et les relations qu'elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice. Cette théorie a été mise en place par Samuel Eilenberg et Saunders Mac Lane en 1942-1945, en lien avec la topologie algébrique, et propagée dans les années 1960-1970 en France par Alexandre Grothendieck, qui en fit une étude systématique. À la suite des travaux de William Lawvere, la théorie des catégories est utilisée depuis 1969 pour définir la logique et la théorie des ensembles ; la théorie des catégories peut donc, comme la théorie des ensembles, être considérée comme fondement des mathématiques. (fr)
  • La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse. La nozione di categoria fu introdotta per la prima volta da Samuel Eilenberg e Saunders Mac Lane nel 1945 nell'ambito della topologia algebrica.Le categorie ora appaiono in molte discipline della matematica e in alcune aree dell'informatica teorica e della fisica matematica costituendo una nozione unificante.Informalmente, una categoria è costituita da determinate strutture matematiche e dalle mappe tra esse che ne conservano le operazioni. (it)
  • 圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 (ja)
  • De categorietheorie is een abstract onderdeel van de wiskunde dat zich bezighoudt met het bestuderen van de algemene eigenschappen van wiskundige structuren, door het vergelijken van wiskundige objecten waartussen structuurbehoudende afbeeldingen, pijlen of morfismen genoemd, zijn gedefinieerd. Voorbeelden zijn groepen met hun groepshomomorfismen en topologische ruimten met hun continue afbeeldingen. Een dergelijke structuur met objecten en morfismen wordt categorie genoemd. Een van de eenvoudigste voorbeelden van een categorie is die van een groepoïde. Een groepoïde is een belangrijk concept binnen de topologie dat wordt gedefinieerd als een categorie waarvan alle morfismen inverteerbaar zijn. Categorieën werden voor het eerst gebruikt door Samuel Eilenberg en Saunders Mac Lane, maar het was Alexander Grothendieck die de wiskundige gemeenschap overtuigde van de voordelen, morfismen onafhankelijk van hun vorm als afbeeldingen tussen verzamelingen te bekijken. (nl)
  • Teoria kategorii − dział matematyki, który bada struktury matematyczne i związki między nimi. (pl)
  • A teoria das categorias é uma teoria matemática que trata de forma abstrata das estruturas matemáticas e dos relacionamentos entre elas. É conhecida, em parte como brincadeira, como "generalização do sem-sentido abstrato". Teoria das categorias foi pela primeira vez apresentada por Samuel Eilenberg e Saunders Mac Lane em 1945, como uma teoria relacionada com topologia algébrica. Ela é uma generalização da teoria dos conjuntos. Nela são estudados objetos e morfismos entre estes. Estes objetos podem ser entendidos como conjuntos estruturados e os morfismos (também chamados de setas) como funções entre estes conjuntos, embora, nos casos mais gerais de categorias, este paralelo não possa ser feito. Teoria das categorias pode ser entendida como um "jogo de setas", em que se abstrai o significado das construções. Ela fornece uma descrição abstrata de problemas de matemática, desta forma se constituindo em um jargão e um ambiente consistente e unificado para o estudo de diversas áreas da matemática. A capacidade de generalização, abstração e unificação de teorias é o grande mérito de teoria das categorias. Assim, ela fornece mecanismos para representar várias estruturas matemáticas, como por exemplo transformações naturais, produtos cartesianos, funções, topologias, etc. As aplicações de teoria das categorias estendem-se por áreas como álgebra, teoria da recursividade, semântica formal, etc. (pt)
  • Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике, она также нашла применения в информатике, логике и в теоретической физике[уточнить]. Современное изложение алгебраической геометрии и гомологической алгебры существенно опирается на понятия теории категорий. Общекатегорийные понятия также активно используются в языке функционального программирования Haskell. (ru)
  • 範疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。 (zh)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5869 (xsd:integer)
dbo:wikiPageRevisionID
  • 738714770 (xsd:integer)
dbp:id
  • 5622 (xsd:integer)
dbp:title
  • Category Theory
  • The catsters
dbp:user
  • TheCatsters
dct:subject
rdf:type
rdfs:comment
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) في الرياضيات، تتناول نظرية الأصناف (بالإنجليزية: Category Theory) البنى الرياضية المختلفة بطريقة مجردة لتدرس خصائصها الأساسية والعلاقات المتبادلة فيما بينها وهي شديدة الصلة مع الطوبولوجيا الجبرية خصوصا في بداية نشأتها عندما تأسست من قبل صموئيل ايلينبيرغ Samuel Eilenberg وسوندرز ماكلين في 1945. تظهر التصانيف في جميع فروع الرياضيات وبعض فروع المعلوماتية النظرية والفيزياء الرياضية. (ar)
  • La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse. La nozione di categoria fu introdotta per la prima volta da Samuel Eilenberg e Saunders Mac Lane nel 1945 nell'ambito della topologia algebrica.Le categorie ora appaiono in molte discipline della matematica e in alcune aree dell'informatica teorica e della fisica matematica costituendo una nozione unificante.Informalmente, una categoria è costituita da determinate strutture matematiche e dalle mappe tra esse che ne conservano le operazioni. (it)
  • 圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 (ja)
  • Teoria kategorii − dział matematyki, który bada struktury matematyczne i związki między nimi. (pl)
  • Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике, она также нашла применения в информатике, логике и в теоретической физике[уточнить]. Современное изложение алгебраической геометрии и гомологической алгебры существенно опирается на понятия теории категорий. Общекатегорийные понятия также активно используются в языке функционального программирования Haskell. (ru)
  • 範疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。 (zh)
  • Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Category theory has practical applications in programming language theory, in particular for the study of monads in functional programming. (en)
  • Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelt wurde; Saunders MacLane nennt seine 1945 in Zusammenarbeit mit Samuel Eilenberg entstandene „General Theory of Natural Equivalences“ (in Trans. Amer. Math. Soc. 58, 1945) die erste explizit kategorientheoretische Arbeit. Die Grundbegriffe dieser Theorie sind Kategorie, Funktor und natürliche Transformation. Um den letzteren Begriff zu präzisieren, wurden die ersten beiden ursprünglich eingeführt. (de)
  • La théorie des catégories étudie les structures mathématiques et les relations qu'elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice. Cette théorie a été mise en place par Samuel Eilenberg et Saunders Mac Lane en 1942-1945, en lien avec la topologie algébrique, et propagée dans les années 1960-1970 en France par Alexandre Grothendieck, qui en fit une étude systématique. À la suite des travaux de William Lawvere, la théorie des catégories est utilisée depuis 1969 pour définir la logique et la théorie des ensembles ; la théorie des catégories peut donc, comme la théorie des ensembles, être considérée comme fondement des mat (fr)
  • De categorietheorie is een abstract onderdeel van de wiskunde dat zich bezighoudt met het bestuderen van de algemene eigenschappen van wiskundige structuren, door het vergelijken van wiskundige objecten waartussen structuurbehoudende afbeeldingen, pijlen of morfismen genoemd, zijn gedefinieerd. Voorbeelden zijn groepen met hun groepshomomorfismen en topologische ruimten met hun continue afbeeldingen. Een dergelijke structuur met objecten en morfismen wordt categorie genoemd. (nl)
  • A teoria das categorias é uma teoria matemática que trata de forma abstrata das estruturas matemáticas e dos relacionamentos entre elas. É conhecida, em parte como brincadeira, como "generalização do sem-sentido abstrato". Teoria das categorias foi pela primeira vez apresentada por Samuel Eilenberg e Saunders Mac Lane em 1945, como uma teoria relacionada com topologia algébrica. Teoria das categorias pode ser entendida como um "jogo de setas", em que se abstrai o significado das construções. (pt)
rdfs:label
  • Category theory (en)
  • نظرية الأصناف (ar)
  • Kategorientheorie (de)
  • Teoría de categorías (es)
  • Théorie des catégories (fr)
  • Teoria delle categorie (it)
  • 圏論 (ja)
  • Categorietheorie (wiskunde) (nl)
  • Teoria kategorii (pl)
  • Teoria das categorias (pt)
  • Теория категорий (ru)
  • 范畴论 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:field of
is dbo:knownFor of
is dbo:nonFictionSubject of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbp:mainInterests of
is rdfs:seeAlso of
is owl:differentFrom of
is foaf:primaryTopic of