categories - Category Theory list
 help / color / mirror / Atom feed
From: <leinster@ihes.fr>
To: <categories@mta.ca>
Subject: Compatibility of functors with limits
Date: Fri, 4 Jul 2003 19:05:53 +0200 (CEST)	[thread overview]
Message-ID: <32772.62.147.147.34.1057338353.squirrel@seven.ihes.fr> (raw)


I have the sensation that I'm about to ask a question to which half the
readers of this list will be able to see an answer immediately.
Unfortunately, I'm one of the other half.

What should it mean for a functor to "respect limits"?  Consider the
following informal definition: a functor respects limits if given any
diagram in the domain category, the limit of the image of the diagram is no
bigger than it needs to be.  Formally, let F: A ---> B be a functor, where
B is a category with (for sake of argument) all small limits and colimits.
Let I be a small category and D: I ---> A a diagram in A; write Cone(D) for
the category of cones on D in A, write Cone(FD) for the category of cones
on FD in B, and write

   F_*: Cone(D) ---> Cone(FD)

for the induced functor.  Then F can be said to "respect limits for D" if
the colimit of F_* is the terminal object of Cone(FD) (that is, the limit
cone on FD).

* Example: if D has a limit in A then the limit is a terminal object of
  Cone(D), so F respects limits for D if and only if it preserves the limit
  in the usual sense.

* Example: let B = Set and let A be the category consisting of a pair of
  parallel arrows; a functor F: A ---> B consists of sets and functions

      sigma, tau: F_0 ---> F_1.

  The condition that F respects pullbacks says that sigma and tau are monic
  and that the images of sigma and tau are disjoint.

The thought behind "no bigger than it needs to be" (a very approximate
description, I know) is that if we have a cone on D with vertex v then
there's an induced map from F(v) to lim(FD), which in some sense places a
"lower bound" on lim(FD): e.g. if B = Set and F(v) is nonempty then lim(FD)
is nonempty.  For F to respect limits for D means that lim(FD) is built up
freely from these F(v)s.

So the question is: is this notion of "respecting limits" well-known or
well-understood?  Is there, for instance, some way of rephrasing it that
brings it into more familiar territory?

Thanks very much,
Tom








             reply	other threads:[~2003-07-04 17:05 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-07-04 17:05 leinster [this message]
2003-07-13 17:34 Tom LEINSTER
2003-07-15 14:48 ` Mamuka Jibladze
     [not found] <Pine.LNX.3.96.1030716154419.29520A-100000@plover.dpmms.cam.ac.uk>
2003-07-16 14:58 ` Tom LEINSTER
2003-07-20 17:50 Tom Leinster

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=32772.62.147.147.34.1057338353.squirrel@seven.ihes.fr \
    --to=leinster@ihes.fr \
    --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).