General problem solving with category theory
Report on a general problem-solving program.