Set Theory with and within urelements and categories of interpretation
Benedikt Löwe

Abstract:
We show that the theories ZF and ZFU are synonymous, answering a
question of A. Visser

Keywords: categories of interpretation;  ZF;  ZFU