Skip to main content
4 of 4
Fixed typos and texified, since it was on the front page anyway
David White
  • 30.3k
  • 9
  • 154
  • 251

On limits and Colimits

I want to ask a stupid question. Let $I$ be an infinite set and suppose $i$ belongs to $I$. I wonder whether following morphisms exist in general:

Hom($A$,colim $B_i) \to$ lim Hom($A,B_i$) and

Colim Hom($A,B_i) \to$ Hom($A$,colim $B_i$)

What I know is: if we replace lim by infinite product and colim by infinite coproduct, it exists. But I am not sure in this general case above.

Shizhuo Zhang
  • 5.5k
  • 2
  • 40
  • 59