9 Jan
2004
9 Jan
'04
9:15 a.m.
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