Category Turing Scheme