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?