Semantics Club, Sep 24, 1999

Fixpoint Monads

Daniele Turi

(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.

A copy of the ML program for automatically generating pages like this. Please send any comments to Daniele Turi.