8 Jan
2004
8 Jan
'04
11:15 p.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