Ungated link to the 1985 JSL paper (see p35 for definition of definability): https://protect-au.mimecast.com/s/Y-NsC2xMRkUwx1OqunZtxI?domain=artscimedia.case.edu Sent > On Jan 22, 2024, at 12:00 PM, Francis Borceux 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.office365.com