Ungated link to the 1985 JSL paper (see p35 for definition of definability): https://protect-au.mimecast.com/s/Y-NsC2xMRkUwx1OqunZtxI?domain=artscimedia.... Sent
On Jan 22, 2024, at 12:00 PM, Francis Borceux <francis.borceux@uclouvain.be> wrote:
Sorry, and thanks to Jon for noticing the slip of terminology in my mail.
Indeed, Bénabou was insisting on the importance of his notion of definability.
Francis
*********************************** Francis Borceux 6 rue François 1490 Court-Saint-Étienne Belgique Fixe: +32(0)10614205 Mobile: +32(0)478390328
----------
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University.
Leave group: https://protect-au.mimecast.com/s/AyZTC3QNl1SQ8q01uqrVr5?domain=outlook.offi...