Chapter 1 from Lawvere's Sets for Mathematics (basic set theory from the category theory point of view).