الفصل الدراسي الذي تم طلبه مسبقًا

في الرياضيات ، الفئة المرتبة مسبقًا هي فئة مزودة بترتيب مسبق .

تعريف

عند التعامل مع فئة C ، من الممكن تعريف علاقة فئة على C كفئة فرعية من فئة القوة C×{\displaystyle \times }ج . ثم، من الملائم استخدام لغة العلاقات على مجموعة.

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

وبالمثل، فإن الفئة المرتبة مسبقًا هي فئة رقيقة ، أي فئة تحتوي على تشاكل واحد على الأكثر من كائن إلى آخر.

أمثلة

  • في أي فئة C ، عندما تكون D فئة من التشكلات لـ C تحتوي على عناصر محايدة ومغلقة تحت التركيب، فإن العلاقة "يوجد تشكل D من X إلى Y" هي ترتيب جزئي على فئة كائنات C.
  • فئة Ord لجميع الأعداد الترتيبية هي فئة مرتبة كليًا مع الترتيب الكلاسيكي للأعداد الترتيبية.

مراجع

  • نيكولا غامبينو وبيتر شوستر، المكانية من أجل الطوبولوجيا الرسمية
  • أداميك، جيري؛ هورست هيرليش؛ جورج إي ستريكر (1990). الفئات المجردة والخرسانية (PDF) . جون وايلي وأولاده. رقم ISBN 0-471-60922-6.