halting problem :: categories