Elementary Theory of the Category of Sets (ETCS)

• Structural alternative to ZFC.
• Based on category theory.
• Sets characterized by morphisms, not elements.
• Equiconsistent with ZFC minus foundation.