From: Ross Street <street@ics.mq.edu.au>
To: Vaughan Pratt <pratt@cs.stanford.edu>
Subject: Re: Small is beautiful
Date: Mon, 4 Jan 2010 08:42:08 +1100 [thread overview]
Message-ID: <E1NRctf-0002T0-K1@mailserv.mta.ca> (raw)
In-Reply-To: <E1NRRls-0000K2-69@mailserv.mta.ca>
On 03/01/2010, at 6:57 PM, Vaughan Pratt wrote:
>> For these, one can't expect the kinds of
>> universal constructions that large categories have,
>
> Not following. FinSet is an essentially small category, what do you
> mean that it doesn't enjoy universal constructions? It's even a
> topos.
Dear Vaughan
Part of what Bob Paré was arguing, I believe, was that we should be
flexible
(pun intended) about what "small" means. If "small" means "finite"
then FinSet
is not "essentially small". Also, "small" could mean "no more than one
element".
Ross
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2010-01-03 21:42 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-01 14:48 Robert Pare
2010-01-03 7:57 ` Vaughan Pratt
2010-01-03 16:23 ` Eduardo J. Dubuc
2010-01-06 14:30 ` Small2 Robert Pare
2010-01-03 21:42 ` Ross Street [this message]
2010-01-04 8:41 ` Small is beautiful Vaughan Pratt
2010-01-06 6:53 ` John Power
2010-01-07 11:12 ` Thomas Streicher
2010-01-08 13:29 ` Steve Vickers
2010-01-05 17:31 F William Lawvere
2010-01-07 1:10 ` Zinovy Diskin
2010-01-07 22:24 ` burroni
2010-01-07 14:31 ` Colin McLarty
2010-01-08 14:33 small " Paul Taylor
2010-01-09 21:05 ` burroni
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=E1NRctf-0002T0-K1@mailserv.mta.ca \
--to=street@ics.mq.edu.au \
--cc=pratt@cs.stanford.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).