Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.research

Topic: in what sense is a limit a functor?
Replies: 2   Last Post: May 28, 2006 9:30 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Colin McLarty

Posts: 11
Registered: 3/3/06
Re: in what sense is a limit a functor?
Posted: Apr 12, 2006 10:30 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Whether this takes the axiom of choice depends on exactly what version
you want, and on what foundation, but basically yes the general result
requires the axiom of choice. So the object part of a lim functor is a
bit of a mystery as you say.

The arrow part, though, is no mystery. So it is not a question of
anafunctors or pseudo-functors. Once you have chosen one limit L for a
diagram F and another L' for a diagram F', then each natural
transformation F-->F' induces a unique cone to F' from L and thus a
unique arrow from L to L' commuting with the cones. This cone
commuting condition obviously gets along with composition of natural
transformations so it takes composite diagram transformations to the
strict composites of the induced arrows between limits.

Pseudo-functors arise in a related stituation using fibered categories,
where you sort of think of cartesian arrows as pullback diagrams yet
they do not give strict functors. But in general cartesian arrows are
actually not defined as pullbacks and even in cases where they are
defined as pullbacks the functoriality problem is not about a
functorial selection of pullbacks. It is about making pasting of
pullback squares into a functor. That is another problem. When you
just want to look at limits of diagrams of a given shape J in a given
category C, you can choose one selected representative of each in a
strictly functorial way if you want to.




Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.