New discovery: A functor that preserves limit always commutes with $\text{Lim}$. A functor that preservers colimit always mmutes with $\text{Colim}$.