کاتگوری مجموعه ها

در ریاضیات و در شاخهٔ نظریه دسته ها، کاتگوری مجموعه ها که با Set نشان داده می شود، دسته ایست که اشیاء آن مجموعه ها هستند. فِلِش ها یا مورفیزم های بین مجموعه های A و B، سه تایی های (f, A, B) هستند که در آن، f یک تابع از A به B است.
نظریه مجموعه
مجموعه ی کوچک (نظریه دسته ها)
بسیاری از دسته های دیگر (مانند کاتگوری گروه ها، با همریختی های گروهی بینشان به عنوان فِلِش) به اشیاء کاتگوریِ مجموعه ها ساختار افزوده و/یا پیکان ها را به انواع خاصی محدود می کنند.
اپی مورفیزم ها در Set، همان توابع پوشا هستند و مونومورفیزم ها، توابع یک به یک؛ یکریختی ها نیز توابع دوسویه اند.
مجموعهٔ تهی، به عنوان شئ ابتدایی در Set حضور دارد که توابع تهی، مورفیزم های آن هستند. هر مجموعهٔ تک عضوی، یک شئ انتهایی محسوب می شود که مورفیزم آن، تابعیست که تمامی عناصر مجموعهٔ مبدأ را به تک-عنصرِ مقصد می برد؛ لذا شئ صفر در Set موجود نیست.