(joint work with Martin Escardo)
We show that least fixpoints of endomaps on pointed domains and unique fixpoints of contractive endomaps on complete metric spaces arise from one and the same categorical structure, namely that of a fixpoint monad corresponding to a pointed endofunctor. This specializes to the existing notion of a fixpoint object.