Kategoryjŏ zbiorow z funkcjami jako morfizmy je typowŏm kategoryjŏm.