Are finite topological spaces (i.e. topological spaces whose underlying set is finite) a model for the homotopy theory of finite simplicial sets (= homotopy theory of finite CW-complexes) ? Namely, is there a reasonable way to: (1) given a finite topological space $ X$ , construct a finite simplicial set $ nX$ . (2) givenRead more