1 paper · 1 filter
Enrique Ruiz Hernández, Pedro Solórzano
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2…