General problem solving with category theory
A Monte-Carlo AIXI Approximation