فئة (رياضيات)
لمعانٍ أخرى، طالع فئة (توضيح).الفئة في الرياضيات،هي بنية جبرية تضم «أشكالًا» تربطها «أسهم».[1][2][3] إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاحظات التاريخية الشاملة والدافعة، انظر نظرية الفئات وقائمة بموضوعات نظرية الفئات.
تتسم أية فئتين بالتماثل إذا كان بهما نفس مجموعة الأشكال، ونفس مجموعة الأسهم، ونفس الطريقة الترابطية في جمع زوج من الأسهم. ويمكن أيضًا أن تعتبر فئتين «متساويتين» لأغراض نظرية الفئات، حتى وإن لم تكونا متماثلتين بدقة.
يُشار إلى الفئات المعروفة بكلمة قصيرة مكتوبة بأحرف كبيرة أو باختصار بخط عريض أو مائل: تشمل الأمثلة مجموعة، وفئة الـمجموعات، ودالات رياضية؛ حلقة، وفئة الـحلقات، والـتشاكلات؛ وفئة الأفضية الطوبولوجية، وفئة الأفضية الطوبولوجية والدالات المستمرة. إن لكلٍ من الفئات السابقة دالة محايدة بصفتها سهم وتركيب بصفتها العملية الترابطية في الأسهم.
إن النص القياسي لنظرية الفئات هو الفئات لعلماء الرياضة (Categories for the Working Mathematician) لـسونديرز ماك لين (Saunders Mac Lane). هناك مزيد من المراجع في قسم الـمراجع أدناه. إن أغلب التعريفات الأساسية في هذا المقال موجودة في الفصول الأولى في أي من هذه الكتب. ف
انظر أيضًا
عدل- فئة قوية
- نظرية الفئة العليا
- جدول الرموز الرياضية
- مقولة(فلسفة)
ملاحظات
عدل- ^ "معلومات عن فئة (رياضيات) على موقع id.ndl.go.jp". id.ndl.go.jp. مؤرشف من الأصل في 2020-04-14.
- ^ "معلومات عن فئة (رياضيات) على موقع ncatlab.org". ncatlab.org. مؤرشف من الأصل في 2019-09-03.
- ^ "معلومات عن فئة (رياضيات) على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 2010-05-28.
مراجع
عدل- Adámek، Jiří؛ Herrlich، Horst؛ Strecker، George E. (1990)، Abstract and Concrete Categories (PDF)، John Wiley & Sons، ISBN:0-471-60922-6، مؤرشف من الأصل (PDF) في 2019-02-14 (now free on-line edition, GNU FDL).
- Asperti، Andrea؛ Longo، Giuseppe (1991)، [<a href="ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf Categories, Types and Structures] (PDF)، MIT Press، ISBN:0-262-01125-5
{{استشهاد}}: النص "">ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf" تم تجاهله (مساعدة) وتحقق من قيمة|مسار=(مساعدة). - Awodey، Steve (2006)، Category theory، Oxford logic guides، Oxford University Press، ج. 49، ISBN:978-0-19-856861-2.
- Barr، Michael؛ Wells، Charles (2005)، Toposes, Triples and Theories، Reprints in Theory and Applications of Categories (ط. revised)، ج. 12، MR:2178101، مؤرشف من الأصل في 2019-06-06.
- Borceux، Francis (1994)، "Handbook of Categorical Algebra"، Encyclopedia of Mathematics and its Applications، Cambridge: Cambridge University Press، ج. 50–52، ISBN:0-521-06119-9.
- Herrlich، Horst؛ Strecker، George E. (1973)، Category Theory، Allen and Bacon, Inc. Boston.
- Jacobson، Nathan (2009)، Basic algebra (ط. 2nd)، Dover، ISBN:978-0-486-47187-7.
- Lawvere، William؛ Schanuel، Steve (1997)، Conceptual Mathematics: A First Introduction to Categories، Cambridge: Cambridge University Press، ISBN:0-521-47249-0.
- Mac Lane، Saunders (1998)، Categories for the Working Mathematician، Graduate Texts in Mathematics 5 (ط. 2nd)، Springer-Verlag، ISBN:0-387-98403-8.
- Marquis، Jean-Pierre (2006)، "Category Theory"، في Zalta، Edward N. (المحرر)، Stanford Encyclopedia of Philosophy، مؤرشف من الأصل في 2019-10-30.
- Sica، Giandomenico (2006)، What is category theory?، Advanced studies in mathematics and logic، Polimetrica، ج. 3، ISBN:978-88-7699-031-1.