C. Barry Jay

• Fixpoint and loop construction as colimits