Technical Report Results

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

Mitchell Wand
(Aug 2013), 34
[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:
  • PDF (5163 KBytes)