ABSTRACT
COROLLARY 2.4.1.(a) (1) Let T be a groupoid. The ca tegory 3Jlon(r) consisting of pairs (M,a) w i th M a submonoid of H a ,a ) and with biactions as maps, is a Girard quantaloid. (2) If G is a group and M is a subm onoid of G, t h e n th e q u a n ta le of M-M biactions in P(G) is a Girard quanta le .
