Kategori sets sibawa fungsi mancaji morphism iyanaritu prototypical.