Fixpoint and Loop Constructions as Colimits

Abstract
Author CBJ

The constructions of fixpoints and while-loops in a category of domains can be derived from the colimit of a diagram which consists of a single endomorphism f : D -> D.