圏論的に述べれば、コルモゴロフ空間の圏は位相空間の圏の反射的部分圏であり、コルモゴロフ商はその反射子である。
绝对的说，柯尔莫果洛夫空间是拓扑空间的反射子范畴，而柯尔莫果洛夫商是反射子。