| dbo:abstract
|
- الفئة في الرياضيات،هي بنية جبرية تضم «أشكالًا» تربطها «أسهم». إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاحظات التاريخية الشاملة والدافعة، انظر نظرية الفئات وقائمة بموضوعات نظرية الفئات. تتسم أية فئتين بالتماثل إذا كان بهما نفس مجموعة الأشكال، ونفس مجموعة الأسهم، ونفس الطريقة الترابطية في جمع زوج من الأسهم. ويمكن أيضًا أن تعتبر فئتين «متساويتين» لأغراض نظرية الفئات، حتى وإن لم تكونا متماثلتين بدقة. يُشار إلى الفئات المعروفة بكلمة قصيرة مكتوبة بأحرف كبيرة أو باختصار بخط عريض أو مائل: تشمل الأمثلة مجموعة، وفئة الـمجموعات، ودالات رياضية؛ حلقة، وفئة الـحلقات، والـتشاكلات؛ وفئة الأفضية الطوبولوجية، وفئة الأفضية الطوبولوجية والدالات المستمرة. إن لكلٍ من الفئات السابقة دالة محايدة بصفتها سهم وتركيب بصفتها العملية الترابطية في الأسهم. إن النص القياسي لنظرية الفئات هو الفئات لعلماء الرياضة (Categories for the Working Mathematician) لـسونديرز ماك لين (Saunders Mac Lane). هناك مزيد من المراجع في قسم أدناه. إن أغلب التعريفات الأساسية في هذا المقال موجودة في الفصول الأولى في أي من هذه الكتب.ف (ar)
- En matemàtiques, una categoria (de vegades anomenada categoria abstracta per distingir-la d'una ) és una col·lecció d'"objectes" que s'enllacen mitjançant "fletxes". Una categoria té dues propietats bàsiques: la possibilitat de compondre les fletxes de manera associativa, i l'existència d'una fletxa identitat per a cada objecte. Un exemple senzill és la , els objectes de la qual són conjunts i les fletxes de la qual són funcions. La teoria de categories és una branca de les matemàtiques que persegueix generalitzar totes les matemàtiques en termes de categories, independentment de què representin els seus objectes i les seves fletxes. Gairebé qualsevol branca de les matemàtiques modernes es pot descriure en termes de categories, i amb aquesta aproximació de vegades es revelen similaritats profundes entre àrees de les matemàtiques aparentment diferents entre si. Com a tal, la teoria de categories proporciona uns fonaments alternatius a la teoria de conjunts. En general, els objectes i les fletxes poden ser entitats abstractes de qualsevol classe, i la idea de categoria proporciona una manera fonamental i abstracta de descriure les entitats matemàtiques i les seves interrelacions. A més de formalitzar les matemàtiques, la teoria de categories també s'utilitza per formalitzar molts altres sistemes en ciències de la computació, com ara la . Dues categories són iguals si tenen la mateixa col·lecció d'objectes, la mateixa col·lecció de fletxes, i la mateixa manera associativa de compondre qualsevol parell de fletxes. Dues categories diferents també es poden considerar , encara que no tinguin exactament la mateixa estructura. Algunes categories conegudes es denoten per una paraula o abreviació amb inicial majúscula en negreta o cursiva: per exemple, Set, la categoria de conjunts i funcions; Ring, la categoria d'anells i homomorfismes d'anells; i Top, la categoria d'espais topològics i aplicacions contínues. Totes les categories anteriors tenen l'aplicació identitat com a fletxa identitat i la composició com l'operació associativa sobre les fletxes. El llibre de text clàssic i encara molt utilitzat en teoria de categories és Categories for the Working Mathematician de Saunders Mac Lane. Qualsevol monoide es pot interpretar com una classe especial de categoria (amb un sol objecte, els automorfismes del qual es representen mitjançant elements del monoide); anàlogament en el cas dels . (ca)
- En matematiko, kategorio estas formaligo de ia simpla universo de matematikaj entoj. Kategorio konsistas el objektoj kaj morfioj inter la objektoj; en kategorio, la morfioj estas asocie komponeblaj, se la fontaroj kaj celaroj kongruas; kaj idento de komponado ekzistas. (eo)
- In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "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. Category theory is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their 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. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. 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. In addition to formalizing mathematics, category theory is also used to formalize many other systems in computer science, such as the semantics of programming languages. 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 different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure. 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 arrows 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. Any monoid can be understood as a special sort of category (with a single object whose self-morphisms are represented by the elements of the monoid), and so can any preorder. (en)
- 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)
- Dalam matematika, kategori (terkadang disebut kategori abstrak untuk membedakannya dari kategori konkret) adalah kumpulan "objek" yang dihubungkan oleh "panah". Kategori memiliki dua properti dasar: kemampuan untuk menyusun panah asosiatif dan keberadaan panah identitas untuk setiap objek. Contoh sederhananya adalah kategori himpunan, yang objek himpunan dan panahnya adalah fungsi. Teori kategori adalah cabang matematika untuk menggeneralisasi semua matematika dalam istilah kategori, terlepas dari apa yang diwakili oleh objek dan panahnya. Hampir setiap cabang matematika modern dapat dijelaskan dalam istilah kategori, dan mengungkapkan wawasan yang mendalam dan persamaan antara bidang matematika yang tampaknya berbeda. Maka, teori kategori memberikan landasan alternatif untuk matematika teori himpunan dan dasar aksiomatik lain yang diusulkan. Secara umum, objek dan panah dapat berupa entitas abstrak dalam bentuk, dan pengertian kategori menyediakan cara fundamental dan abstrak untuk menggambarkan entitas matematika dan relasi. Selain memformalkan matematika, teori kategori juga digunakan untuk memformalkan banyak sistem lain dalam ilmu komputer, seperti . Dua kategori adalah sama jika mereka memiliki koleksi objek yang sama, kumpulan panah, dan metode asosiatif untuk menyusun relasi panah. Dua kategori berbeda juga dapat dianggap "" untuk tujuan teori kategori, bahkan jika keduanya tidak memiliki struktur yang persis sama. Kategori yang terkenal dilambangkan dengan kata atau singkatan singkat yang dicetak tebal atau miring: contohnya termasuk Himpunan, kategori himpunan dan fungsi himpunan; Gelanggang, kategori gelanggang dan ; dan ruang, kategori ruang topologi dan . Semua kategori sebelumnya memiliki peta identitas sebagai panah identitas dan komposisi sebagai operasi asosiatif pada panah. Teks klasik dan masih banyak digunakan pada teori kategori adalah oleh Saunders Mac Lane. Referensi lain diberikan dalam di bawah. Definisi dasar dalam artikel ini terdapat dalam beberapa bab pertama dari salah satu buku ini. Monoid sebagai jenis kategori khusus (dengan satu objek morfisme diwakili oleh elemen monoid), dan begitu pula . (in)
- 数学の一分野である圏論において中核的な概念を成す圏（けん、英: category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる。 二つの圏が等しいとは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは "General Theory of Natural Equivalences"（「自然同値に関する一般理論」）と題された論文 (Eilenberg & Mac Lane ) である。古典的だが今もなお広く用いられる教科書として、マクレーンの『圏論の基礎』がある。 (ja)
- ( 일반위상수학에서의 범주에 대해서는 제1 범주 집합 문서를 참고하십시오.) 범주론에서 범주(範疇, 영어: category)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이다. 수학의 각 분야를 범주를 통해 연구하는 분야를 범주론(範疇論, 영어: category theory)이라고 한다. 범주는 현대 수학의 거의 모든 분야에 나타나며, 수학의 여러 분야를 공통적인 언어로 다룰 수 있게 한다. 수학 밖에도, 범주론은 컴퓨터 과학과 수리물리학에서도 쓰인다. (ko)
- Kategoria – pojęcie wyodrębniające pewne algebraiczne własności rodzin morfizmów między obiektami matematycznymi tego samego typu, np. zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp. Zakłada się, że taka rodzina zawiera odwzorowanie tożsamościowe i jest zamknięta ze względu na wykonywanie superpozycji (iloczynu) odwzorowań. Teoria kategorii jest działem matematyki zapoczątkowanym w 1945 przez Eilenberga i Mac Lane’a. (pl)
- 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)
- Inom matematiken utgör en kategori en struktur bestående av en uppsättning objekt, en uppsättning morfismer och vissa av objekt eller morfismer, som har sådana samband som uppsättningar med mängder av viss struktur och avbildningar mellan mängderna som respekterar strukturerna kan förväntas ha. För varje morfism f tillordnas ett (domän-) objekt; dom(f), och ett (kodomän-) objekt; cod(f). Till kategoristrukturen kommer också en tillordning av en (identitets-) morfism, , till varje objekt x, uppfyllande samt en partiell binär kompositionsoperation, , på morfismer, betecknad och definierad för alla par av morfismer f och g sådana att cod(g) = dom(f), uppfyllande för alla morfismer f, och för alla morfismer f, g, h där komposition är definierad. En morfism f sägs gå från objektet dom(f) till objektet cod(f). Morfismerna utgör på så vis bågar i en riktad graf där objekten utgör hörn. För två objekt x och y betecknar Mor(x, y) uppsättningen av alla morfismer där domän-objektet är x och kodomän-objektet är y. För att utan självmotsägelser kunna använda kategoriteoretiska begrepp i resonemang kring med mängdlärans storheter görs åtskillnad mellan olika kategorier baserat på om de är små eller stora. Med en "liten" kategori avses en kategori där uppsättningen morfismer utgör en mängd. Med en kategori utan särskild storleksangivelse avses en kategori där uppsättningen morfismer utgör en (ofta äkta) klass, men där uppsättningen morfismer från vilket objekt som helst, x, till vilket annat objekt som helst, y, alltid utgör en mängd. Med en stor kategori avses en kategori där uppsättningen morfismer utgör en metaklass och uppsättningen morfismer från ett objekt till ett annat, Mor(x,y), utgör en klass. Särskilda typer av kategorier är bland andra:
* små kategorier,
* kategorier med ett terminalt objekt,
* kategorier med ett initialt objekt,
* ,
* ,
* . (sv)
- Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções. A teoria das categorias é o estudo de propriedades e classificações de categorias e conceitos relacionados. Ela provê uma linguagem que simplifica conceitos e demonstrações em várias áreas de matemática, possibilitando delinear e separar os resultados gerais dos que se aplicam a uma área específica. Categorias foram introduzidas por Samuel Eilenberg e Saunders Mac Lane com o objetivo de dar um significado rigoroso ao conceito de "canônico" ou "natural". (pt)
- 在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 (zh)
- Категорія у математиці — це алгебраїчна структура подібна до групи, але від якої не вимагається властивість обернення або замикання. Вона містить «об'єкти», що сполучаються «стрілками». Категорія має дві основні властивості: можливість компонувати стрілки асоціативним чином і існування стрілки тотожності для кожного об'єкта. Простим прикладом категорії для множин, об'єктами якої є множини, а стрілки позначають функції. Теорія категорій — це гілка математики, яка досліджує і узагальнює усю математику в термінах категорій, незалежно від того що собою представляють стрілки. Практично кожну галузь сучасної математики можна описати в термінах категорій, і часто це дозволяє виявити глибокі закономірності і подібність між, з першого погляду різними, галузями математики. Як така, теорія категорій утворює в математиці альтернативну основу для теорії множин та інших аксіоматично побудованих основ. В загальному випадку, об'єкти і стрілки можуть бути будь-якими абстрактними поняттями, і така нотація категорій дозволяє мати фундаментальний абстрактний спосіб описати математичні сутності і їх зв'язки. Крім математики, теорія категорій використовується для формалізації багато інших систем в комп'ютерних науках, наприклад для описання семантики мов програмування. Дві категорії є однаковими якщо вони мають однакову колекцію об'єктів, однакову колекцію стрілок, і однаковий асоціативний метод утворення будь-якої пари стрілок. Дві різні категорії також можуть бути «еквівалентними» в рамках теорії категорій, навіть якщо вони не мають точно однакової структури. Існує ряд добре відомих категорій, які можуть мати загальні назви і скорочення описанні жирним шрифтом: наприклад Set — категорія множин і функцій; — категорія кілець і їх гомоморфізмів; і — категорія топологічних просторів і неперервних відображень. Всі наведені категорії мають тотожне відображення, що є стрілкою тотожності і композицію, що є асоціативною операцією над стрілками. Будь-який моноїд можна розуміти як особливий вид категорій (з одним єдиним об'єктом чиї самоморфізми представлені елементами моноїда), що може мати будь-який передпорядок. (uk)
|
| rdfs:comment
|
- En matematiko, kategorio estas formaligo de ia simpla universo de matematikaj entoj. Kategorio konsistas el objektoj kaj morfioj inter la objektoj; en kategorio, la morfioj estas asocie komponeblaj, se la fontaroj kaj celaroj kongruas; kaj idento de komponado ekzistas. (eo)
- 数学の一分野である圏論において中核的な概念を成す圏（けん、英: category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる。 二つの圏が等しいとは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは "General Theory of Natural Equivalences"（「自然同値に関する一般理論」）と題された論文 (Eilenberg & Mac Lane ) である。古典的だが今もなお広く用いられる教科書として、マクレーンの『圏論の基礎』がある。 (ja)
- ( 일반위상수학에서의 범주에 대해서는 제1 범주 집합 문서를 참고하십시오.) 범주론에서 범주(範疇, 영어: category)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이다. 수학의 각 분야를 범주를 통해 연구하는 분야를 범주론(範疇論, 영어: category theory)이라고 한다. 범주는 현대 수학의 거의 모든 분야에 나타나며, 수학의 여러 분야를 공통적인 언어로 다룰 수 있게 한다. 수학 밖에도, 범주론은 컴퓨터 과학과 수리물리학에서도 쓰인다. (ko)
- Kategoria – pojęcie wyodrębniające pewne algebraiczne własności rodzin morfizmów między obiektami matematycznymi tego samego typu, np. zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp. Zakłada się, że taka rodzina zawiera odwzorowanie tożsamościowe i jest zamknięta ze względu na wykonywanie superpozycji (iloczynu) odwzorowań. Teoria kategorii jest działem matematyki zapoczątkowanym w 1945 przez Eilenberga i Mac Lane’a. (pl)
- 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)
- 在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 (zh)
- الفئة في الرياضيات،هي بنية جبرية تضم «أشكالًا» تربطها «أسهم». إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاحظات (ar)
- En matemàtiques, una categoria (de vegades anomenada categoria abstracta per distingir-la d'una ) és una col·lecció d'"objectes" que s'enllacen mitjançant "fletxes". Una categoria té dues propietats bàsiques: la possibilitat de compondre les fletxes de manera associativa, i l'existència d'una fletxa identitat per a cada objecte. Un exemple senzill és la , els objectes de la qual són conjunts i les fletxes de la qual són funcions. A més de formalitzar les matemàtiques, la teoria de categories també s'utilitza per formalitzar molts altres sistemes en ciències de la computació, com ara la . (ca)
- In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "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. In addition to formalizing mathematics, category theory is also used to formalize many other systems in computer science, such as the semantics of programming languages. (en)
- 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)
- Dalam matematika, kategori (terkadang disebut kategori abstrak untuk membedakannya dari kategori konkret) adalah kumpulan "objek" yang dihubungkan oleh "panah". Kategori memiliki dua properti dasar: kemampuan untuk menyusun panah asosiatif dan keberadaan panah identitas untuk setiap objek. Contoh sederhananya adalah kategori himpunan, yang objek himpunan dan panahnya adalah fungsi. Selain memformalkan matematika, teori kategori juga digunakan untuk memformalkan banyak sistem lain dalam ilmu komputer, seperti . (in)
- Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções. A teoria das categorias é o estudo de propriedades e classificações de categorias e conceitos relacionados. Ela provê uma linguagem que simplifica conceitos e demonstrações em várias áreas de matemática, possibilitando delinear e separar os resultados gerais dos que se aplicam a uma área específica. (pt)
- Inom matematiken utgör en kategori en struktur bestående av en uppsättning objekt, en uppsättning morfismer och vissa av objekt eller morfismer, som har sådana samband som uppsättningar med mängder av viss struktur och avbildningar mellan mängderna som respekterar strukturerna kan förväntas ha. För varje morfism f tillordnas ett (domän-) objekt; dom(f), och ett (kodomän-) objekt; cod(f). Till kategoristrukturen kommer också en tillordning av en (identitets-) morfism, , till varje objekt x, uppfyllande för alla morfismer f, och för alla morfismer f, g, h där komposition är definierad. (sv)
- Категорія у математиці — це алгебраїчна структура подібна до групи, але від якої не вимагається властивість обернення або замикання. Вона містить «об'єкти», що сполучаються «стрілками». Категорія має дві основні властивості: можливість компонувати стрілки асоціативним чином і існування стрілки тотожності для кожного об'єкта. Простим прикладом категорії для множин, об'єктами якої є множини, а стрілки позначають функції. Крім математики, теорія категорій використовується для формалізації багато інших систем в комп'ютерних науках, наприклад для описання семантики мов програмування. (uk)
|
