Категорія множин
Категорія множин — в теорії категорій це категорія, об'єктами якої є множини, а морфізми (стрілки) між множинами A и B — всі функції із A в B. Позначається Set.
Інші категорії (такі як категорія груп із гомоморфізмами груп як стрілками) вводять додаткову структуру для об'єктів категорії множин та/або обмежують стрілки до функцій певного виду.
Властивості категорії множин
- Всі епіморфізми в Set сюр'ектівні, всі мономорфізми — ін'єктивні, і всі ізоморфізми — бієктивні.
- Порожня множина — початковий об'єкт категорії множин, будь-який синглетон — термінальний об'єкт.
...
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.