From: Peter Freyd <pjf@saul.cis.upenn.edu>
To: categories@mta.ca
Subject: Re: Limits
Date: Wed, 2 May 2001 13:02:36 -0400 (EDT) [thread overview]
Message-ID: <200105021702.f42H2aT18744@saul.cis.upenn.edu> (raw)
Tobias Schroeder asks:
- Can the limit of a sequence of real numbers be expressed
as a categorical limit (of course it can if the sequence is
monotone, but what if it is not)?
A good question. I have no answer, only a similar (and ancient)
question: is there a setting in which adjoint operators on Hilbert
spaces can be seen to be examples of adjoint functors between
categories?
As for his second question:
- Why have people chosen the term "limit" in category theory?
(And, by the way, who has defined it first?)
In the beginning, the only diagrams that had limits were "nets", that
is, diagrams based on directed posets. I believe it was Norman
Steenrod in his dissertation who first used the term. Before his
dissertation the Cech cohomology of a space was defined only as the
numberical invarients that arose as a limit of a directed set of such
invariants. It was Steenrod who perceived that Cech cohomology could
be defined as an abelian group. For that he needed to invent the
notion of a limit of a directed diagram of groups.
In the 50s the fact that one didn't need the diagram to be directed
was considered startling.
At least two of us tried to avoid the word "limit" in this more
general setting. Jim Lambek was pushing "inf" and "sup", a suggestion
I wish I had heard. Not having heard it, I was pushing "left root" and
"right root" (one was, after all, supplying a root to a generalized
tree. sort of).
All to no avail. So now we have "finite limits" and "finitely
continuous".
next reply other threads:[~2001-05-02 17:02 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-05-02 17:02 Peter Freyd [this message]
2001-05-05 18:58 ` Limits jim stasheff
-- strict thread matches above, loose matches on Subject: below --
2001-05-16 22:46 Limits Paul H Palmquist
2001-05-04 21:04 Limits jdolan
2001-05-06 0:26 ` Limits Ross Street
2001-05-03 23:38 Limits jdolan
2001-05-10 2:18 ` Limits Dusko Pavlovic
2001-05-02 13:04 Limits Tobias Schroeder
2001-05-02 17:10 ` Limits Andrej Bauer
2001-05-03 12:59 ` Limits Martin Escardo
2001-05-03 23:15 ` Limits Dusko Pavlovic
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=200105021702.f42H2aT18744@saul.cis.upenn.edu \
--to=pjf@saul.cis.upenn.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).