Title: Fixpoint and loop construction as colimits