The category dichotomy for ideals. - Alan Dow; Raúl Figueroa-Sierra; Osvaldo Guzmán; Michael Hrusák (Ann. Pure Appl. Log., 2026)