Technical Report Results
Technical Report TR23:
Fixed-Point Constructions in Order-Enriched Categories.
(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)