A combinatorial description of shape theory

Abstract

We give a combinatorial description of shape theory using finite topological T0-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.