 Inverse system

An inverse system is a family $(N_i)$ with transition maps $g_{ij}:N_j\to N_i$ for $i\le j$, satisfying $g_{ii}=1$ and $g_{ik}=g_{ij}{g}_{jk}$.