所有空间的函子构造