Rational Homotopy in Pseudotopological Spaces

Pseudotopological spaces are the Cartesian closed hull of the category of \v{C}ech closure spaces. In this paper, we give a direct proof that the model category of the pseudotopological spaces constructed by Rieser is Quillen equivalent to the category of simplicial sets. In addition to noting that every pseudotopological space is weak homotopy equivalent to a topological CW complex, we prove that any weak equivalence of pseudotopological spaces can be converted to a weak equivalence of topological spaces. Finally, combining these ingredients, we construct rational homotopy for simply connected pseudotopological spaces. In this paper, we also prove that the cartesian product of two pseudotopological CW complexes is a CW complex.