The Category Dichotomy for Ideals

Alan Dow, Raul Figueroa-Sierra, Osvaldo Guzmán +1

We provide a counterexample to the Category Dichotomy in the framework of $\text{ZFC}$. That is, we prove the existence of an ideal on $\omega$ that is not Katětov below $\mathsf{nwd}…