Text this: Model theory and topoi :