Better terminology: "processly Noetherian" instead of "constructively Noetherian"
A closer look at quasicoherence in an arbitrary intuitionistic context