Hello Cat Community, Is the internal language of a topos E capable of expressing metamathematical statements like "arrow J is a subobject of the object X"? Kind regards, Bill Halchin