Inverse limit (source code)

= Inverse limit
{title2=$\varprojlim N_i$}
{wiki}

The inverse limit is the module of compatible families
$$
\varprojlim_iN_i=\{(x_i)\in\prod_iN_i:g_{ij}(x_j)=x_i\}.
$$