Are There Enough Injective Sets?

Peter Aczel, Benno van den Berg, Johan Granstroem +1

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough…