الكائن الأولي الصارم

الموسوعة الحرة

في فرع نظرية الفئات الرياضية ، يُعرَّف الكائن الابتدائي الصارم بأنه الكائن الابتدائي 0 للفئة C الذي يتميز بأن كل تشاكل في C مع المجال المقابل 0 هو تشاكل . في الفئة المغلقة الديكارتية ، يكون كل كائن ابتدائي صارمًا. [ 1 ] كذلك، إذا كانت C فئة توزيعية أو شاملة ، فإن الكائن الابتدائي 0 لـ C يكون صارمًا. [ 2 ]

مراجع

  1. ↑ ماكلارتي، كولين (4 يونيو 1992). الفئات الأولية، والطوبولوجيات الأولية . مطبعة كلارندون . ISBN 0191589497تم الاطلاع عليه بتاريخ 13 فبراير 2017 .
  2. ↑ كاربوني، أوريليو؛ لاك، ستيفن؛ والترز، آر إف سي (3 فبراير 1993). "مقدمة في الفئات الموسعة والتوزيعية". مجلة الجبر البحت والتطبيقي . 84 (2): 145-158 . doi : 10.1016/0022-4049(93)90035-R .