Quotients of decidable objects in a topos (1983)

by P T Johnstone
Venue:Math. Proc. Cambridge Philosophical Society