inj limproj limlim→lim_lim¯lim← \injlim \projlim \varinjlim \varliminf \varlimsup \varprojlim