الرئيسيةعريقبحث

فئة (رياضيات)

لمعانٍ أخرى، انظر فئة (توضيح).

الفئة في الرياضيات،هي بنية جبرية تضم «أشكالًا» تربطها «أسهم».[1][2][3] إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها. تلك هي الفكرة الرئيسية لـنظرية التصنيف، وهو فرع من الرياضيات يسعى لتعميم الرياضيات فيما يتعلق بالأشكال والأسهم، بغض النظر عما تمثله الأشكال والأسهم. يمكن وصف كل فرع من فروع الرياضيات الحديثة من حيث الفئات، فتكرار ذلك كثيرًا يكشف أبعادًا عميقة وتشابهاتٍ بين مجالات مختلفة في الرياضيات بشكل ظاهري. لمزيدٍ من الملاحظات التاريخية الشاملة والدافعة، انظر نظرية الفئات وقائمة بموضوعات نظرية الفئات.

تتسم أية فئتين بالتماثل إذا كان بهما نفس مجموعة الأشكال، ونفس مجموعة الأسهم، ونفس الطريقة الترابطية في جمع زوج من الأسهم. ويمكن أيضًا أن تعتبر فئتين "متساويتين" لأغراض نظرية الفئات، حتى وإن لم تكونا متماثلتين بدقة.

يُشار إلى الفئات المعروفة بكلمة قصيرة مكتوبة بأحرف كبيرة أو باختصار بخط عريض أو مائل: تشمل الأمثلة مجموعة، وفئة الـمجموعات، ودالات رياضية؛ حلقة، وفئة الـحلقات، والـتشاكلات؛ وفئة الأفضية الطوبولوجية، وفئة الأفضية الطوبولوجية والدالات المستمرة. إن لكلٍ من الفئات السابقة دالة محايدة بصفتها سهم وتركيب بصفتها العملية الترابطية في الأسهم.

إن النص القياسي لنظرية الفئات هو الفئات لعلماء الرياضة (Categories for the Working Mathematician) لـسونديرز ماك لين (Saunders Mac Lane). هناك مزيد من المراجع في قسم الـمراجع أدناه. إن أغلب التعريفات الأساسية في هذا المقال موجودة في الفصول الأولى في أي من هذه الكتب. ف

مقالات ذات صلة

  • فئة قوية
  • نظرية الفئة العليا
  • جدول الرموز الرياضية
  • مقولة(فلسفة)

ملاحظات

  1. "معلومات عن فئة (رياضيات) على موقع id.ndl.go.jp". id.ndl.go.jp. مؤرشف من الأصل في 14 أبريل 2020.
  2. "معلومات عن فئة (رياضيات) على موقع ncatlab.org". ncatlab.org. مؤرشف من الأصل في 3 سبتمبر 2019.
  3. "معلومات عن فئة (رياضيات) على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 28 مايو 2010.

مراجع

  • Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990), Abstract and Concrete Categories ( كتاب إلكتروني PDF ), John Wiley & Sons,  , مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 14 فبراير 2019 (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,   .
  • Awodey, Steve (2006), Category theory, 49, Oxford University Press,   .
  • Barr, Michael; Wells, Charles (2005), Toposes, Triples and Theories, 12 (الطبعة revised), MR = 2178101 2178101, مؤرشف من الأصل في 06 يونيو 2019 .
  • Borceux, Francis (1994), "Handbook of Categorical Algebra", Encyclopedia of Mathematics and its Applications, 50–52, Cambridge: Cambridge University Press,   .
  • Herrlich, Horst; Strecker, George E. (1973), Category Theory, Allen and Bacon, Inc. Boston .
  • Jacobson, Nathan (2009), Basic algebra (الطبعة 2nd), Dover,   .
  • Lawvere, William; Schanuel, Steve (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge: Cambridge University Press,   .
  • Mac Lane, Saunders (1998), Categories for the Working Mathematician, (الطبعة 2nd), Springer-Verlag,   .
  • Marquis, Jean-Pierre (2006), "Category Theory", in Zalta, Edward N. (المحرر), Stanford Encyclopedia of Philosophy, مؤرشف من الأصل في 30 أكتوبر 2019 .
  • Sica, Giandomenico (2006), What is category theory?, 3, Polimetrica,   .

موسوعات ذات صلة :