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://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=d343e19c-76f8-4b9a-a52f-76d7a14ab458