>>7
They are not sets, they are capital letter variables, yo.
By the way, only plebs use objects in their definition of category theory, real olegs use only morphisms (such that for every morphism f exist endomorphisms g and h such that f.g = h.f = f).