Subject: categories: Question about the internal language of a topos

From: Galchin Vasili <[email-masked]>
Date: Thu, 8 Jan 2004 15:15:31 -0800 (PST)

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