Universal property of an inverse limit (source code)

= 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$.