 Universal property of an inverse limit

Maps from a module $X$ to ${\underleftarrow{\lim }}_i{N}_i$ correspond naturally to compatible families of maps $X\to N_i$.