From: JeanBenabou <jean.benabou@wanadoo.fr>
To: Colin McLarty <colin.mclarty@case.edu>, Categories <categories@mta.ca>
Subject: Locally small categories without replacement, or anything
Date: Fri, 3 Dec 2010 09:07:55 +0100 [thread overview]
Message-ID: <E1POhCQ-0002Pi-EJ@mlist.mta.ca> (raw)
Dear Colin,
I gave 36 years ago a definition of locally small fibration over an
arbitrary base category S. Now look at the following very special
case: S = Set, C is a category, and P: Fam(C) --> S the canonical
fibration where the fiber over the set I is the category C^I. To say
that this P is locally small in my sense coincides exactly with the
"more general" notion of C being locally small that you suggest.
Note that my definition of locally small fibration does not suppose
that S has a terminal object 1, let alone that 1 is a strong
generator in S. To show that this definition is equivalent to the
"usual" one, you need not only a replacement scheme in Set, but also
the fact that 1 is a strong generator in Set.
Thus I think that the correct general definition of "local smallness"
is the one I gave for fibrations.
As a side important remark, the identity fibration Id(S): S --> S is
always locally small without any assumption on S, in particular S
need not have a terminal object, pull-backs or any kind of limit.
None of this is true with any of the "variants" of my definition you
can find e.g. in the Elephant, where you have to assume that S has
finite limits.
Thus "evil" fibrations can be interesting after all.
Best to all,
Le 1 déc. 10 à 23:00, Colin McLarty a écrit :
> Locally small categories are always defined as categories such that:
>
> LS) for any objects A,B there is a set of all arrows A-->B.
>
> When the base set theory includes the axiom scheme of replacement that
> is equivalent to a prima facie stronger property:
>
> ??) for any set of objects there is a set of all arrows between them.
>
> These two are not equivalent in the absence of the axiom scheme of
> replacement. There the second is much stronger, but it remains
> important. Is there a good term for it?
>
> thanks, Colin
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2010-12-03 8:07 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=E1POhCQ-0002Pi-EJ@mlist.mta.ca \
--to=jean.benabou@wanadoo.fr \
--cc=categories@mta.ca \
--cc=colin.mclarty@case.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).