Machine Space I: Weak exponentials and quantification over compact spaces. - Peter F. Faul; Graham Manuell (CoRR, 2022)