Dear all, Indeed, as pointed out by Bill Lawvere, the term "logos" was introduced and is central to the book by Freyd and Scedrov. In addition to that of Walter Tholen there is a review of it by myself Categories, Allegories, by Peter J. Freyd; Andrej Scedrov Review by Marta C. Bunge, The Journal of Symbolic Logic 56-1 (March 1993) 352-354 Best wishes, Marta ________________________________ From: wlawvere <wlawvere@buffalo.edu> Sent: November 8, 2016 8:32:16 AM To: categories@mta.ca Subject: categories: Re: Grothendieck toposes The term 'logos' already has a well-established meaning. See Tholen's review of the 1990 book by Freyd and Scedrov: Categories, allegories ...(a logos is a regular category in which the subobjects of an object form a lattice, and in which each inverse-image map has a right adjoint) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]