The first 90% of this is standard set theory.

I'm unclear what the last 10% of 'category theory' gives us.