Computable topology

discipline in mathematics that studies the topological and algebraic structure of computation