Redirected from "internal hom-functors preserve limits".
Contents
Context
Limits and colimits
limits and colimits
1-Categorical
-
limit and colimit
-
limits and colimits by example
-
commutativity of limits and colimits
-
small limit
-
filtered colimit
-
sifted colimit
-
connected limit, wide pullback
-
preserved limit, reflected limit, created limit
-
product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum
-
finite limit
-
Kan extension
-
weighted limit
-
end and coend
-
fibered limit
2-Categorical
(∞,1)-Categorical
Model-categorical
Category theory
Contents
Idea
One of the basic facts of category theory is that the hom-functor on a category preserve limits in both variables separately (remembering that a limit in the first variable, due to contravariance, is actually a colimit in ).
Statement
Ordinary hom-functor
Proposition
(hom-functor preserves limits)
Let be a category and write
for its hom-functor. This preserves limits in both its arguments (recalling that a limit in the opposite category is a colimit in ).
More in detail, let be a diagram. Then:
-
If the limit exists in then for all there is a natural isomorphism
where on the right we have the limit over the diagram of hom-sets given by
-
If the colimit exists in then for all there is a natural isomorphism
where on the right we have the limit over the diagram of hom-sets given by
Proof
We give the proof of the first statement. The proof of the second statement is formally dual.
First observe that, by the very definition of limiting cones, maps out of some into them are in natural bijection with the set of cones over the diagram with tip :
Hence it remains to show that there is also a natural bijection like so:
Now, again by the very definition of limiting cones, a single element in the limit on the right is equivalently a cone of the form
This is equivalently for each object a choice of morphism , such that for each pair of objects and each we have . And indeed, this is precisely the characterization of an element in the set .
Internal hom-functor
Proposition
(internal hom-functor preserves limits)
Let be a symmetric closed monoidal category with internal hom-bifunctor . Then this bifunctor preserves limits in the second variable, and sends colimits in the first variable to limits:
and
Proof
For any object, is a right adjoint by definition, and hence preserves limits as adjoints preserve (co-)limits.
For the other case, let be a diagram in , and let be any object. Then there are isomorphisms
which are natural in , where we used that the ordinary hom-functor respects (co)limits as shown (see at hom-functor preserves limits), and that the left adjoint preserves colimits (see at adjoints preserve (co-)limits).
Hence by the fully faithfulness of the Yoneda embedding, there is an isomorphism