From: Marta Bunge <martabunge@hotmail.com>
To: "categories@mta.ca" <categories@mta.ca>, wlawvere <wlawvere@buffalo.edu>
Subject: Re: Grothendieck toposes
Date: Wed, 9 Nov 2016 02:35:28 +0000 [thread overview]
Message-ID: <E1c4Tvj-0008Jx-Th@mlist.mta.ca> (raw)
In-Reply-To: <8641_1478651661_58226F0D_8641_41_1_E1c4Goq-0004eP-Dd@mlist.mta.ca>
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/ ]
next parent reply other threads:[~2016-11-09 2:35 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <8641_1478651661_58226F0D_8641_41_1_E1c4Goq-0004eP-Dd@mlist.mta.ca>
2016-11-09 2:35 ` Marta Bunge [this message]
2016-11-09 15:53 ` Patrik Eklund
[not found] <a98ed351-1df6-4f7d-1977-7d82d5a9900b@cs.bham.ac.uk>
2016-11-09 15:01 ` Thomas Streicher
2016-11-08 13:32 wlawvere
2016-11-09 10:48 ` Thomas Streicher
-- strict thread matches above, loose matches on Subject: below --
2016-11-06 15:41 wlawvere
[not found] <YQBPR01MB061141EA2F53A36490E14F0ADFA50@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-05 15:04 ` Joyal, André
2016-11-03 14:03 Townsend, Christopher
[not found] <YQBPR01MB0611BC0F9930A55EC2DFE2C8DFAF0@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-10-31 11:27 ` Steve Vickers
2016-11-01 10:10 ` Clemens.BERGER
2016-11-01 10:30 ` Thomas Streicher
[not found] ` <30618_1477941855_58179A5F_30618_291_1_E1c1IA3-0007Te-Te@mlist.mta.ca>
2016-10-31 22:40 ` Marta Bunge
[not found] ` <YQBPR01MB0611528D9E09F09BEB7C14B8DFAE0@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-01 15:33 ` Marta Bunge
2016-11-02 0:20 ` Michael Barr
[not found] ` <004501d23520$bce007f0$36a017d0$@oliviacaramello.com>
2016-11-02 18:34 ` Marta Bunge
2016-10-30 20:17 Marta Bunge
2016-11-01 15:16 ` Joyal, André
[not found] ` <23129f7a064fe24cddfc1414403dfe85@cs.umu.se>
2016-11-02 11:18 ` Marta Bunge
2016-11-02 15:09 ` Townsend, Christopher
2016-11-03 4:45 ` Eduardo Julio Dubuc
2016-11-03 19:36 ` Joyal, André
[not found] ` <YQBPR01MB0611FD1B0099E7F4D36C84D9DFA00@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-02 17:50 ` majordomo
2016-11-02 19:15 ` Marta Bunge
[not found] ` <YQBPR01MB0611A198AF9A5F51AD5562E8DFA00@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
[not found] ` <313cc907380f63841975a95b12cb1856@cs.umu.se>
2016-11-03 10:17 ` Steve Vickers
[not found] ` <581B0EB3.4030304@cs.bham.ac.uk>
2016-11-03 11:13 ` Patrik Eklund
2016-10-28 19:08 David Yetter
2016-10-30 3:06 ` Michael Shulman
2016-10-30 19:39 ` Joyal, André
2016-10-27 11:07 Steve Vickers
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1c4Tvj-0008Jx-Th@mlist.mta.ca \
--to=martabunge@hotmail.com \
--cc=categories@mta.ca \
--cc=wlawvere@buffalo.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).