Text this: Order and recursion in topoi /