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/ ]
Heraclitus of Ephesus used 'logos' for what is pretty well-known. Even more known is that 'logos' is in the first sentences of the Gospel of John. I'm not claiming anybody should care, but using 'logos' for a math concept must be justified, not for what I mentioned, but for what it is. What is this discussion really about? Just wondering. Patrik On 2016-11-09 04:35, Marta Bunge wrote:
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/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (2)
-
Marta Bunge -
Patrik Eklund