Preprint available: Bishop's and Lawvere's theories of sets