Is there a canonical way for doing Homotopy Theoryhomotopy 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 Theoryhomotopy theory with general condensed sets?
Became Hot Network Question