Speaker: Ebrahim Ebrahim

 

Title: The Category of Sets

 

Abstract: Sets are often thought of as lacking structure, but the category of sets is actually rather rich as a category. We attempt to pin down the category of sets up to equivalence by reinterpreting the axioms of set theory in categorical language. Membership is stripped of its role as the primitive statement, with morphisms and universal properties taking its place.