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


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

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

Примітки

Література

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.