[Koshkin]

> category theory can use set theory, but does not depend on it

But aren't, say, the morphisms between two objects necessarily a set (termed "hom-set")?