inj limproj limlimlim_lim¯lim \injlim \projlim \varinjlim \varliminf \varlimsup \varprojlim