Is there a canonical way for doing Homotopy Theory with condensed sets? Is there a definition of homotopy groups? As CW complexes are compactly generated Hausdorff we can consider then as condensed sets, but can we do Homotopy Theory with general condensed sets?