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://www.princeton.edu/~hhalvors/teaching/phi312_f2016/sets-new.pdf

https://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/textbook/MIT18_S996S13_chapter2.pdf