Proposition 1.8.6. The functor \(\Hom _C(-,-)\colon C\catop \times C \to \An \) preserves limits in both variables separately.

Generated from the authoritative LaTeX source.