Internal language of a category

From: noone (noone_at_nowhere.com)
Date: 09/26/04 

Date: Sun, 26 Sep 2004 14:00:09 +0000 (UTC)

Hi,

There are different notions of internal languages such as the one for
Cartesian closed categories or the one for toposes. But, each time, the
definition of the internal language is given ad hoc. Is there an abstract
definition of what is an (or the?) internal language of a category?

Thanks,

David.