categories - Category Theory list
 help / color / mirror / Atom feed
From: Colin McLarty <colin.mclarty@case.edu>
To: categories@mta.ca
Subject: Re: The humility topos
Date: Sun, 4 Jul 2010 13:31:28 -0400	[thread overview]
Message-ID: <E1OVYlA-0003Ho-KB@mailserv.mta.ca> (raw)
In-Reply-To: <E1OTOx2-0001mq-T1@mailserv.mta.ca>

Yes, this is Grothendieck's stated intention, in the article "Topos"
written with Verdier in SGA 4 (p. 301).

But at the same time he and his friends knew well that topo, with
plural topos, is ordinary French for a little speech, and is common
slang for a school essay.  This comes from the long-time use of
"topos" as a term in rhetoric taken from Aristotle.

I have not found older uses of the specific term "humility topos," but
"topos" in this rhetorical sense is not postmodern.  It is one of the
oldest scholarly terms.

Colin



2010/7/2 Steve Vickers <s.j.vickers@cs.bham.ac.uk>:
> I've assumed (and told people) that "topos" was a back-formation from
> "topology" - that Grothendieck's intention was to imply that toposes
> were the structures of which topology was truly the study. (The argument
> falls into two parts: (a) to carry out topology you need sheaves and not
> just opens, and (b) there are suitable categories of sheaves that don't
> arise from ordinary spaces.)
>
> Certainly it is my own intention to stress the "generalized topological
> space" nature of toposes; but is my assumption about Grothendieck's
> intention actually correct?
>
> Steve.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2010-07-04 17:31 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-28 19:49 Michael Barr
2010-06-30 19:15 ` Dusko Pavlovic
2010-07-02  8:02   ` Steve Vickers
2010-07-02 15:03   ` Eduardo J. Dubuc
2010-07-05 20:20     ` Vaughan Pratt
2010-07-06 11:47       ` Colin McLarty
2010-07-06 12:26       ` Jamie Vicary
2010-07-06 12:29       ` Graham White
2010-07-07 14:16         ` Colin McLarty
     [not found]   ` <4C2DFFD3.8050406@dm.uba.ar>
2010-07-02 15:41     ` Michael Barr
2010-07-04 23:44       ` Jean-Pierre Marquis
2010-07-04 17:31 ` Colin McLarty [this message]
2010-06-29  2:06 Toby Bartels
2010-06-29  4:33 John Baez
2010-06-29 17:20 Robert J. MacG. Dawson
2010-06-30 14:05 ` Prof. Peter Johnstone
     [not found] ` <1277950072.4c2bf878cf89f@webmail.adelaide.edu.au>
2010-07-02 12:28   ` Robert J. MacG. Dawson
2010-07-06 12:02 Peter LeFanu Lumsdaine

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=E1OVYlA-0003Ho-KB@mailserv.mta.ca \
    --to=colin.mclarty@case.edu \
    --cc=categories@mta.ca \
    /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).