Iterated Colimits and ramifications

Reduction of an iterated colimit