olemus
kategooria, mille elemendid on kujutused (funktsioonid) hulkade vahel;
hulkade kategooria ühikud on samasuskujutused, mis on samastatavad hulkade endiga
= the category whose objects are sets

tehted
hulkade kategooria binaartehe "*" on kujutuste kompositsioon:
kui f ja g on kujutused, siis f *g on kujutus, mis on defineeritud
reegliga (f *g)(x ) = f (g (x ))

ülevaateid
https://en.wikipedia.org/wiki/Category_of_sets
https://golem.ph.utexas.edu/category/2014/01/an_elementary_theory_of_the_ca.html
https://encyclopediaofmath.org/wiki/Sets,_category_of
https://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/textbook/MIT18_S996S13_chapter2.pdf