The central tool of this paper is to work in categories enriched over \(\mathbf {Pos}\) . For a general reference to enriched categories we refer to [1]}. But the special case of \(\mathbf {Pos}\) -categories is much simpler than the general case and we believe that most of this paper can be read without special knowledge in enriched category theory. The purpose of this section is to review what will be required.
