ABSTRACT
H(g)o(SboG(f))oRa c H(g)oH(f)°Sa°Ra c H(f°g)o(SoR)a . This proves t h a t °X r Q Xs«R anc* thus we h av e verified
t h a t 3C:!R*(9f)—»Bim(P(stf)) is a lax m orphism of quantaloids. ■
If we res t r ic t this functor to the full subcategory then we get precisely the equivalence $ of Theorem 3.3.1. of this category with P(srf)-Cat.