Stephen G. SimpsonFOM: Russell paradox for naive category theoryhttps://cs.nyu.edu/pipermail/fom/1999-May/003117.html