reflected limit

Reflection of limits


A functor is said to reflect limits of a given shape if a cone is limiting whenever its image under FF is.



Let F:CDF\colon C\to D be a functor and J:ICJ\colon I\to C a diagram. We say that FF reflects limits of JJ if whenever we have a cone η:const x IJ\eta\colon const^I_x \to J over JJ in CC such that F(η)F(\eta) is a limit of FJF\circ J in DD, then η\eta was already a limit of JJ in CC.

Of course, a functor FF reflects a colimit if F opF^{op} reflects the corresponding limit.

If FF reflects all limits or colimits of a given type (i.e. over a given category II), we simply say that FF reflects that sort of limit (e.g. FF reflects products, FF reflects equalizers, etc.).

A functor which both reflects and preserves limits, and such that limits exist in its domain whenever they do in its codomain, is said to create them.


Reflection of limits is distinct from preservation of limits, although there are relationships, e.g prop. 2.



A conservative functor reflects any limits which exist in its domain and that it preserves.


If JJ in def. 1 has some limit θ\theta which is preserved by FF, then there is a unique induced map ηθ\eta\to\theta by the universal property of a limit, which becomes an isomorphism in DD since F(η)F(\eta) and F(θ)F(\theta) are both limits of FJF\circ J; hence if FF is conservative then it must already have been an isomorphism in CC, and so η\eta was already also a limit of JJ.


A faithful functor reflects epimorphisms and monomorphisms.

(The simple proof is spelled out for instance at epimorphism.)

Revised on April 1, 2016 06:04:01 by Urs Schreiber (