Foundations of Combinatorial Topology