Effective quasi-Polish categories of overt discrete spaces and compact Hausdorff spaces

Matthew de Brecht

We construct the category of overt discrete quasi-Polish spaces and the category of compact Hausdorff quasi-Polish spaces (and some of their subcategories) as internal categories o…