Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jménují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979.