رسته مجموعه‌ها

در ریاضیات و در شاخهٔ نظریه رسته‌ها، رسته مجموعه‌ها که با Set نشان داده می‌شود، رسته ایست که اشیاء آن مجموعه‌ها هستند. فِلِش‌ها یا ریخت‌های بین مجموعه‌های A و سه تایی های (f, A, B) هستند که در آن، f یک تابع از A به B است.

بسیاری از رسته‌های دیگر (مانند رسته گروه‌ها، با همریختی‌های گروهی بینشان به عنوان فِلِش) به اشیاء رستهِ مجموعه‌ها ساختار افزوده و/یا پیکان‌ها را به انواع خاصی محدود می‌کنند.

خواص رسته مجموعه‌ها ویرایش

اپی مورفیزم‌ها در Set، همان توابع پوشا هستند و مونومورفیزم‌ها، توابع یک به یک؛ یکریختی‌ها نیز توابع دوسویه‌اند.

مجموعهٔ تهی، به عنوان شئ ابتدایی در Set حضور دارد که توابع تهی، ریخت‌های آن هستند. هر مجموعهٔ تک عضوی، یک شئ انتهایی محسوب می‌شود که ریخت آن، تابعیست که تمامی عناصر مجموعهٔ مبدأ را به تک-عنصرِ مقصد می‌برد؛ لذا شئ صفر در Set موجود نیست.

رسته Set، کامل و هم-کامل است. ضرب در این رسته با ضرب دکارتی مجموعه‌ها تعریف می‌شود. همضرب را می‌توان با اجتماع گسسته تعریف کرد: برای خانوادهٔ مجموعه‌های Ai که i بر روی یک مجموعه اندیس I مانور می‌دهد، همضرب را به صورت اجتماع ‏ Ai×{i} ‎ها (ضرب دکارتی که i جهت اطمینان حاصل کردن از این است که همهٔ مؤلفه‌ها، گسسته می‌مانند) می‌سازیم.

Set نمونه اولیه از یک رسته محسوس است؛ دیگر رسته‌ها محسوسند اگر Set را به نحوی خوش-تعریف، آن‌ها را «شبیه‌سازی» کنند.

هر مجموعهٔ دو عضوی، به عنوان یک زیر-شئ رسته‌بندی کننده در Set حضور دارد. شئِ توان برای یک مجموعه توسط مجموعه ی توانی اش داده شده‌است شئ توانی از مجموعه‌های A و B توسط مجموعهٔ تمام توابع از A به B داده می‌شود. Set، بنابر این، یک توپوس (و به ویژه بستهٔ دکارتی است).

Set، آبلی، جمعی و یا پیش-جمعی نیست. پیکان‌های صفر آن، توابع تهی ∅ → X هستند.[۱]

هر شی در Set که اولیه نیست، یک به یک است و (با فرض اصل انتخاب) تصویری نیز هست.

جستارهای وابسته ویرایش

یادداشت ویرایش

  1. بخش I. 7 از (Pareigis 1970)

منابع ویرایش

  • Blass, A. The interaction between category theory and set theory. Contemporary Mathematics 30 (1984).
  • Feferman, S. Set-theoretical foundations of category theory. Springer Lect. Notes Math. 106 (1969): 201–247.
  • Lawvere, F.W. An elementary theory of the category of sets (long version) with commentary
  • Mac Lane, S. One universe as a foundation for category theory. Springer Lect. Notes Math. 106 (1969): 192–200.
  • Mac Lane, Saunders (September 1998). Categories for the Working Mathematician. Springer. ISBN 0-387-98403-8. (Volume 5 in the series Graduate Texts in Mathematics)
  • Pareigis, Bodo (1970), Categories and functors, Pure and applied mathematics, vol. 39, Academic Press, ISBN 978-0-12-545150-5