limit and evaluation

Let D be a category with functorial limits of functors from some category C. That is, there is a functor

lim : Cat(C, D) -> D.

For each object x from C, there is a functor

ev_x : Cat(C, D) -> D,
sending functor
F : C -> D
to F(x), and sending natural transformation
r : F -> G : C ->D
to its component at x (r_x : F(x) -> G(x)). By mapping x to ev_x and morphism f : x -> y to an obvious natural transformation from ev_x to ev_y we obtain a functor
EV : C -> Cat(Cat(C, D), D).

Amusing and trivially checkable fact is that

lim = Lim EV.
That is, limits are always point-wise.


No comments:

Post a Comment