Universal property of an inverse limit
= Universal property of an inverse limit
Maps from a module $X$ to $\varprojlim_iN_i$ correspond naturally to compatible families of maps $X\to N_i$.
= Universal property of an inverse limit
Maps from a module $X$ to $\varprojlim_iN_i$ correspond naturally to compatible families of maps $X\to N_i$.