Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR23:
Fixed-Point Constructions in Order-Enriched Categories.

Mitchell Wand
(Aug 2013), 34 pages
[Theoret. Comp. Sci. 8 (1979)]
The fixed-point construction of Scott, giving a continuous lattice solution of equations X T(X) where T is an endofunctor on the cateĀ­ gory of continuous lattices, is extended to categories enriched by

partial orderings on the morphism sets. The result allows data structures to be realized not only in the category of continuous lattices, but also in the category of complete lattices, in the cateĀ­ gory of complete partial orders,or in any of several related categories of partial orders.

Available as: