Очікує на перевірку

Категорія множин

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Категорія множин — в теорії категорій це категорія, об'єктами якої є множини, а морфізми (стрілки) між множинами A и B — всі функції із A в B. Позначається Set.


Інші категорії (такі як категорія груп із гомоморфізмами груп як стрілками) вводять додаткову структуру для об'єктів категорії множин та/або обмежують стрілки до функцій певного вигляду.

Властивості категорії множин

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Pareigis, 1970, Section I.7.

Література

[ред. | ред. код]